Tag Archives: mathematical reasoning

OpenAI Astra Solves Open Math Problems Using Lean Formal Proofs

Posted on August 1, 2026 by TempMail Ninja

OpenAI’s unreleased model Astra demonstrates genuine scientific reasoning by publishing 34,000 lines of Lean formal proofs to solve complex math problems. Continue reading →

Posted in Artificial Intelligence, Technology & AI | Tagged , , , | Leave a comment

GPT-5.4 Pro Solves Longstanding Erdős Math Problem

Posted on April 15, 2026 by TempMail Ninja

OpenAI’s GPT-5.4 Pro has successfully solved a complex problem in Erdős discrepancy theory, marking a major milestone in AI’s mathematical reasoning capabilities. Continue reading →

Posted in Artificial Intelligence, Technology & AI | Tagged , , , | Leave a comment