Check the benchmark version, sampling budget, data contamination controls, human interventions and proof-review method. A final answer or benchmark score is not evidence that every reasoning step is valid.
Mathematical reasoning · preprint
As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan Challenge is a benchmark
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
The last year has seen a shift in AI-assisted mathematics, with frontier language models producing proofs of and counterexamples to long-standing open conjectures. However, studying
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Reinforcement Learning with Verifiable Rewards has shown great promise in enhancing mathematical reasoning in large language models. However, existing approaches provide limited intermediate supervision for
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · primary_technical_publication
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Mathematical reasoning is a fundamental capability for educational applications of Large Language Models (LLMs), where reliable problem solving requires not only correct answers but also
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · primary_technical_publication
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Test-time compute can improve mathematical reasoning, but can short-budget runs predict how mathematical reasoning scales with additional compute? We introduce a Discovery--Execution (DE) framework that
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
While Large Language Models (LLMs) have demonstrated striking capabilities on frontier mathematical problems, it remains unclear whether they possess the structural mathematical understanding underlying their
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Post-training is central to mathematical reasoning in modern large language models (LLMs), but endpoint pass@1 alone underidentifies what has changed. Gains may reflect newly reachable
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Large Language Models (LLMs) are highly capable of natural language reasoning and appear to store a great deal of lexical knowledge, but it is still
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Reordering a set of mathematical rules without changing its meaning should preserve the correct answer, but must a model's internal representations stay invariant too? We
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · provider_announcement
OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.
Automatically screened · not peer reviewed by this siteRead analysis note ↗