Tag Archive: Hugo Duminil-Copin

Can mathematicians Survive AI?

Author: Louis Korczowski October 14, 2026 0 Comments

OpenAI posted 722 AI math papers. Are the proofs correct, who will check them, and how do experts survive AI? A PhD in AI on verification and understanding.

AI, Ideas, Strategy

AI and jobs, Cédric Villani, formal verification, Hugo Duminil-Copin, Lean, mathematics, OpenAI, Terence Tao