Mathematics5Math-2

5Math-2

Name: 5Math-2
SKU: 5Math-2
Price: 250.00 USD
Availability: PreOrder

A five-environment mathematics suite spanning formal proof repair, convex optimization, graph invariants, automata, and strategic systems. Agents must identify a hidden system through carefully chosen experiments, maintain a calibrated posterior, predict sealed holdouts, and stop efficiently under deterministic verification.

MathematicsAdaptive reasoningRLVR

Version1.0.0

Environments5

RewardScalar · 0–1

DeliveryPrivate ZIP

01 Task contract

A real, versioned RL environment.

Agent objective

Interact with the supplied stateful environment.
Produce verifier-checkable actions or artifacts.
Maximise scalar reward under the package contract.

Evaluation

5 verifier-backed environments.
Reported reward range 0–1.
Package-specific public and private checks.

Delivery boundary

Private object stored in Cloudflare R2.
Authenticated entitlement required.
Short-lived signed URL per download.

02 What you will work on

Distinct environments, one demanding research contract.

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
ProofAudit	Formal methods, finite-model finding, proof repair	Select informative proof obligations and checking strategies to discriminate among plausible repairs without spending the budget on redundant searches.
ConvexOracle	Convex analysis and optimization	Infer hidden optimization geometry by deciding where to probe and which value, gradient, curvature, or proximal evidence is worth its cost.
GraphInvariant	Spectral graph theory, WL methods, GNN expressivity	Combine spectral, rooted, higher-order, and anchored probes to distinguish regular graph structures that defeat ordinary refinement.
AutomataOracle	Active learning and automata theory	Choose discriminating words among low-information decoys while accounting for noisy membership and coarse equivalence feedback.
EquilibriumOracle	Game theory and multi-agent learning	Use off-equilibrium payoff, regret, response, and learning-dynamics probes when every candidate agrees at the obvious equilibrium.

03 Why it is interesting

What the supplied evaluation reveals.

A sealed GPT-5.6 Pro evaluation identified all five hidden systems but passed only four, with 0.8712 mean reward. GraphInvariant missed the 0.80 gate despite correct identification and 0.9938 held-out prediction because its experiment selection and calibration were weaker. That gap makes the suite useful: it distinguishes reaching an answer from conducting an efficient, well-calibrated investigation. The release passed 71 tests and all hard/expert fixture replays.

We publish aggregate behavior and task structure, while withholding generated instances, hidden labels, exact successful probes, private checks, and solution trajectories.

04 Supplied evaluation

Observed evaluation result.

Shown with its provenance and limitations; it is not a performance guarantee.

Methodology matters

Reported result from the evaluation artifact supplied with this package.

Evaluated system / policyGPT-5.6 Pro

As identified by the supplied artifact.

Pass rate80%

See the source methodology.

Result artifactIncluded

5Math_2_gpt56pro_hard_report.md

Public result record

Machine-readable provenance and the exact displayed metric are available in results.json.

Open result JSON

05 Private delivery

The package stays off the public website.

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.

Included with purchase

Exact package version 1.0.0
Environment and task contracts
Verifier or scoring interface
Supplied reference/evaluation artifacts
Purchase record and licence v1.1

delivery flow

Authenticated buyer + entitlement check
+ private R2 object + 2–5 minute signed URL
= direct, auditable download

Package SHA-256
d8a11f7841efba2a3079f8e4760479721a9d21e50c10957bde300353f39b30ef

06 Licence v1.1

Commercial use, without exclusivity.

One 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.

Read the full licenceYotta Content LTD · business customers only

5Math-2

Ready to add this environment?

Back to marketplace

5Math-2

A real, versioned RL environment.

Agent objective

Evaluation

Delivery boundary

Distinct environments, one demanding research contract.

What the supplied evaluation reveals.

Observed evaluation result.

Public result record

The package stays off the public website.

Included with purchase

Commercial use, without exclusivity.

Related RL environments.

5Math-1

5Math-3

5Math-4

Ready to add this environment?