bigcompute.science valid
bigcompute.science
Open computational mathematics. GPU clusters, CUDA kernels, open data. Human-AI collaborative. AI-audited, not peer-reviewed.
- Authority
- 45 reach 0 · trust 5 · quality 25 · freshness 15
- Tier
- listed
- llms.txt
- http://bigcompute.science/llms.txt
- llms-full.txt
- http://bigcompute.science/llms-full.txt
- Sections
- 6
- Links
- 62
- Size
- 12356 bytes
- Country
- — Publisher location unknown; CDN address excluded
- Country evidence
- No published address evidence collected yet
- For agents
- Interface: a documented API or declared MCP endpoint an agent can call
- First seen
- 2026-10-25T23:14:02.235Z
- Last checked
- 2026-10-25T23:14:02.581Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-25T23:14:02.239Z. Cached copy · Source on bigcompute.science
# bigcompute.science
> Open computational mathematics. GPU clusters, CUDA kernels, open data. Human-AI collaborative. AI-audited, not peer-reviewed.
All work produced through human-AI collaboration (Cahlen Humphreys + Claude). AI-audited against published literature (arXiv, zbMATH, OEIS). Not independently peer-reviewed. CC BY 4.0.
## Experiments (16 total)
- [CFD Chaotic Advection: Standard Map Lyapunov Spectrum (RTX 5090)](/experiments/cfd-chaotic-advection/): CFD program entry point (chaotic-advection surrogate; Navier–Stokes phases started May 27): Chirikov standa... (complete)
- [CFD Phase 3: 3D Navier–Stokes BKM Blowup Search (RTX 5090)](/experiments/cfd-ns3d-bkm/): Phase 3: 3D pseudospectral NS with vortex stretching and BKM tracking on RTX 5090. First certifying 3D runs... (complete)
- [CFD Phase 2: 2D Navier–Stokes BKM Diagnostic (RTX 5090)](/experiments/cfd-ns-bkm/): Phase 2 CFD: GPU pseudospectral 2D NS with BKM vorticity tracking. Certifying Taylor–Green decay and random... (complete)
- [Prime Convergents: GPU Verification of the Erdos-Mahler Bound](/experiments/prime-convergents-gpu/): GPU verification of the Erdos-Mahler bound on greatest prime factors of CF convergents. 10M random CFs veri... (complete)
- [Erdos-Straus Conjecture: Solution Counting to 10^8 on B200](/experiments/erdos-straus-gpu/): Count solutions f(p) to 4/p = 1/x + 1/y + 1/z for all primes p up to 10^8. Conjecture verified to 10^14 (Sw... (complete)
- [Zaremba Density: Exception Sets and Phase Transitions on 8x B200](/experiments/zaremba-density-gpu/): 65 GPU density computations across digit sets and ranges to 10^12. Audit revision: the data support stable ... (complete)
- [Ramsey R(5,5): Exhaustive Extension Search on 8x B200](/experiments/ramsey-r55-lower-bound/): All 656 known K42 colorings are non-extendable to K43 (656/656 UNSAT) — independently re-verified and DRAT-... (complete)
- [Class Numbers of Real Quadratic Fields: Extending Tables to 10^13 on 8× B200](/experiments/class-numbers-real-quadratic/): Class numbers h(d) for 30 billion real quadratic fields across [10^9, 10^11]. h=1 rate falls monotonically:... (complete)
- [Ramanujan Machine: GPU-Accelerated Discovery of Continued Fraction Formulas](/experiments/ramanujan-machine-gpu/): 586 billion equal-degree polynomial CFs evaluated through degree 8 — zero new transcendental formulas. 7,03... (complete)
- [Kronecker Coefficients: S20, S30, S40 on 8× B200](/experiments/kronecker-coefficients-gpu/): Complete Kronecker coefficient tables for S_20 (32.7M nonzero, 3.7s) and S_30 (26.4B nonzero, 7.4 min) on N... (complete)
- [Lyapunov Exponent Spectrum: All Subsets of {1,...,20}](/experiments/lyapunov-exponent-spectrum/): Lyapunov exponents for all 1,048,575 non-empty subsets of {1,...,20}, computed in 305 seconds on RTX 5090. ... (complete)
- [Minkowski ?(x) Singularity Spectrum](/experiments/minkowski-spectrum/): Multifractal singularity spectrum f(alpha) of the Minkowski question-mark function, comput
…Machine-readable: GET /v1/resolve?q=bigcompute.science · GET /v1/domain/bigcompute.science · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage bigcompute.science, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- See your website in the map
Review your indexed topics, nearby publishers sharing headings, measured listing exposure and map snapshots in a private report for your website.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for bigcompute.science:
1. POST https://agentwebmap.com/v1/sites/bigcompute.science/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://bigcompute.science/llms.txt, or use the DNS, meta-tag or well-known method the response describes. This only verifies the listing; your website and domain remain yours.
3. POST https://agentwebmap.com/v1/sites/bigcompute.science/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/bigcompute.science).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.