Recent AI models, particularly OpenAI's GPT 5.2, are demonstrating breakthrough capabilities in solving high-level mathematical problems. Since Christmas, 11 of 15 newly solved Erdős problems have credited AI involvement. Tools like Harmonic's Aristotle for formalization and ChatGPT for reasoning are becoming standard in

5m read timeFrom techcrunch.com
Post cover image
Table of contents
Join the Disrupt 2026 WaitlistJoin the Disrupt 2026 Waitlist

Sort: