🤖 AI & Machine Learning
AI is increasingly changing how we do mathematics.
Erdős Problem #650, open for over 60 years, was solved a few weeks ago through a collaboration between human mathematicians, an informal reasoning model (GPT 5.4 Pro @OpenAI) and a formal one (Aristotle @HarmonicMath). 🧵 ...
Apr 07, 2026
