Post #2664694
2026-04-14 13:06 UTC
Quanta Magazine: the tipping point for AI in math came last summer (2025), when AI models solved 5/6 problems at the IMO.
Terence Tao: "This guy's got a shovel. This guy's got a pickax. Together we can bore a tunnel."
Some AI systems now formulate conjectures, prove them, and verify the proof with minimal human intervention.
I find this less surprising than others might. Math is the one domain where correctness is verifiable. The feedback loop is clean.
Replies (0)
No replies.