OpenAI's 722 math proofs spark backlash: experts demand human validation
OpenAI released 722 math manuscripts and proofs, but experts warn the field could take years to validate the AI-driven work.
Mathematical Proofs
Latest Mathematical Proofs coverage.
OpenAI releases 722 AI-generated math papers, including computer-verified proofs
OpenAI unveils 722 AI-generated math manuscripts with Lean-verified proofs, sparking debate on AI research validation.
Mistral's Leanstral 1.5 achieves 90% on PutnamBench with 1/7th of Claude's compute
Mistral AI open-sources Leanstral 1.5, a model that verifies code and mathematical proofs, achieving 90% on PutnamBench.