RLTasksby ulam.ai
Sign inAll tasks
MathematicsErdosRL-v2

ErdosRL-v2

Seventeen mathematics environments that turn finite extremal problems and audited reasoning failures into stateful, verifier-backed work. Thirteen demand exact combinatorial witnesses and sealed optima; four require a concrete obstruction, a repaired argument, preserved valid claims, and a consistent claim ledger under deterministic dual verification.

MathematicsAdaptive reasoningRLVR
Version0.2.0
Environments17
RewardScalar · 0–1
DeliveryPrivate ZIP
01 Task contract

A real, versioned RL environment.

Seventeen mathematics environments that turn finite extremal problems and audited reasoning failures into stateful, verifier-backed work. Thirteen demand exact combinatorial witnesses and sealed optima; four require a concrete obstruction, a repaired argument, preserved valid claims, and a consistent claim ledger under deterministic dual verification.

Agent objective

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

Evaluation

  • 17 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.

EnvironmentMathematical or technical frontierAdaptive research problem
13 finite-certificate tasksExtremal set systems, additive and multiplicative combinatoricsConstruct exact witnesses and prove sealed optima across finite geometry, divisor constraints, intersections, graph coloring, and modular closure.
Cayley parallelogram repairAbelian Cayley graphsFind a concrete cycle obstruction, repair the girth claim, and reconcile every dependent claim in the ledger.
Directed-corner repairAdditive constructionsDiagnose an orientation-sensitive failure and preserve only the claims supported by exact finite checks.
Periodic-square repairPeriodic combinatoricsLocate a delayed counterexample and replace the failed general claim with a calibrated finite-scope repair.
CRT-overlap repairChinese remainder constructionsExpose residue-cover multiplicity and update the argument, evidence, verdict, and ledger consistently.
03 Why it is interesting

What the supplied evaluation reveals.

A fresh isolated symbolic agent earned 13.20/17 terminal reward and full credit on all 13 finite-certificate tasks, but none of four repair tasks. It found the mathematical obstructions and repairs, yet each repair was capped because its claims did not reconcile exactly with the sealed ledger. That gap makes the suite unusually effective at testing rigorous stateful argument maintenance, not just mathematical insight. Validation passed 36/36 tests.

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.

i
Methodology matters

Fresh authenticated online single-pass evaluation of all 17 tasks at seed 0. The deterministic symbolic/exhaustive-search agent was not an LLM; it earned full credit on 13/17 episodes without replay, snapshots, forks, or post-grade retries.

Evaluated system / policyfresh-symbolic-search-agent v1.0.0

As identified by the supplied artifact.

Terminal score13.20 / 17 (77.65%)

17 reported runs.

Result artifactIncluded

ErdosRL_real_agent_artifacts.zip · real_agent_score_report.json

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 0.2.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
9a4c63e554cb3809d39eefe3630c43bf195b5c55dfb45d528033177345fc3b45
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
ErdosRL-v2

Ready to add this environment?

Back to marketplace
Stripe checkout

Business purchase confirmation

Sign in or create an account, then complete secure Stripe Checkout. Access is granted only by the verified payment webhook.