OpenAI’s 722 AI-Generated Math Results: What We Know 7 October 2026·3016 words·15 mins OpenAI AI Mathematics AI Research Formal Verification Lean Riemann Hypothesis Kakeya Conjecture Mathematical Research
