Month: October 2026

OpenAI’s 372 AI Math Results: What Has Actually Been Proved?

AI mathematician studying geometric diagrams and formally verified mathematical proofs, illustrating OpenAI's 372 families of AI-generated mathematics results

OpenAI’s 372 AI Math Results: What Has Actually Been Proved?

Published by Costin Liculescu on October 9, 2026

OpenAI has released 372 families of AI-generated mathematics results. What do they really prove, how does Lean verification work, and why are mathematicians divided?