AI article
Why Math Dumped OpenAI
No preview is available. Read the original article for the full story.
Hacker News | Oct 17, 2026 | xeonmc
Automated excerpt
Don’t let anyone call the mathematicians Luddites. AI in Math had a natural synergy that researchers made every effort to embrace. Terence Tao is using ChatGPT to learn Lean prover.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.