OEIS Open Benchmark

What is OEIS Open?

Evaluates language models on formalized open mathematical conjectures from OEIS, scored by theorem resolution under a compute budget.

Released

2026-08-12

Evaluates

General AI, Language & Knowledge, cs.AI

Openness

unknown

Importer

Claire Radar

Review status

ai-reviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2608.11941

OEIS Open paper and code

• Paper https://arxiv.org/abs/2608.11941
• Code https://github.com/epoch-research/LeanOpenProblems

Which sources cite OEIS Open?

• OEIS Open

Related General AI, Language & Knowledge, cs.AI benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 3DCodeBench
• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• A3S-Bench
• AARRI-Bench
• ABC-Bench
• ActBench