Agent objective
- Interact with the supplied stateful environment.
- Produce verifier-checkable actions or artifacts.
- Maximise scalar reward under the package contract.
A five-environment supercompact mathematics benchmark with thousands of candidate systems, identical starting evidence, and only two noisy measurements before submission. It spans Hodge-theoretic period maps, higher algebra, information geometry, nonlinear convex PDEs, and graph-cover spectra, rewarding complementary experiment planning and calibrated transfer to sealed probes.
A five-environment supercompact mathematics benchmark with thousands of candidate systems, identical starting evidence, and only two noisy measurements before submission. It spans Hodge-theoretic period maps, higher algebra, information geometry, nonlinear convex PDEs, and graph-cover spectra, rewarding complementary experiment planning and calibrated transfer to sealed probes.
Enough detail to understand the intellectual terrain; generated instances, hidden mechanisms, and solution paths remain inside the private package.
| Environment | Mathematical or technical frontier | Adaptive research problem |
|---|---|---|
| PeriodMapCipher | Hodge structures and period maps | Choose complementary continuation-sensitive probes when all candidates share the complete low-order local expansion. |
| MasseyProductXRay | A-infinity algebras and higher homotopy | Infer hidden higher operations through multilinear and basis-transformed measurements while ordinary cohomology agrees. |
| RateDistortionAtlas | Rate-distortion theory and information geometry | Probe complementary temperature regimes to distinguish semantic distortions with shared high-temperature invariants. |
| MongeAmpereOracle | Monge–Ampère geometry and convex analysis | Select off-anchor measurements revealing high-order convex structure hidden by identical local derivatives. |
| IharaCoverXRay | Graph coverings and Ihara zeta geometry | Recover covering geometry from walk and marked-fiber evidence when quotients and local neighborhoods are shared. |
A frozen exact-likelihood policy achieved 0.7073 mean reward and 8/20 correct identifications but no expert passes. Its closest episode reached 0.9897 reward and cleared every gate except posterior concentration, showing how severe the two-measurement, 8,192-hypothesis bottleneck is even with strong experiment design. Package checks covered 101 files, five self-tests, and 51 tests.
We publish aggregate behavior and task structure, while withholding generated instances, hidden labels, exact successful probes, private checks, and solution trajectories.
Shown with its provenance and limitations; it is not a performance guarantee.
Reported result from the evaluation artifact supplied with this package.
As identified by the supplied artifact.
20 reported runs.
REPORT.md
Machine-readable provenance and the exact displayed metric are available in results.json.
The paid ZIP will live in a private R2 bucket. Vercel authorizes the buyer and issues a 2–5 minute object URL; R2 serves the bytes directly.
Authenticated buyer + entitlement check
+ private R2 object + 2–5 minute signed URL
= direct, auditable download
Package SHA-256
3982d7669968ade2d1eac76143785522cbaf074bf3d1ab8d2688c6451071c591One purchase licenses this identified item to one legal organisation for worldwide, perpetual commercial model training, evaluation, research and development. Redistribution and resale of the package are not permitted.