Terence Tao questions OpenAI: With 719 AI-generated mathematical proofs, do humans truly understand them?

Three were subsequently withdrawn due to a symbol error and its cascading effects, leaving a publicly available catalog of 719. Although the company claims it consulted a mathematics and AI advisory panel before publication, the public record suggests its processes have not yet fully met the standards proposed by that panel, particularly lacking sufficient safeguards for human understanding, formal verification, and peer review.