#theorem-proving
- OpenAI says an internal model produced a solution to the Navier-Stokes Millennium Prize problem OpenAI research
- OpenAI's Next Model Astra Solves Ten Open Problems in Math and Theoretical CS OpenAI research
- Anthropic: Claude agents produce the first complete computer-verified formalization of Fermat's Last Theorem Anthropic research
- LLM-Driven Formal Mathematics Review: Where Current Systems Fall Short UCLA research
- Diffusion-Proof: Formal Theorem Proving via Diffusion Language Models research
- AdvancedMathBench: Benchmark Suite for Advanced Mathematical Proof Generation and Verification InternLM research