Tech News
← Home  ·  All topics

Ai Proofs

2 GoKawiil briefs on this topic

Terence Tao says AI is ending mathematics' 'age of heroes'

In a Numberphile interview, mathematician Terence Tao said the field is moving from 'proof scarcity' to 'proof abundance' as AI systems generate proofs faster than humans can fully absorb their reasoning. He compared this shift to the industrialization of other professions and called for norms of etiquette, likening unrestrained AI competition in math contests to outsiders jumping into a marathon to beat the runners.

Terence Tao urges 'Maths 2.0' as AI floods field with rapid proofs

Fields medallist Terence Tao says AI models have produced solutions to hundreds of long-standing maths problems in recent months, outpacing mathematicians' ability to verify and absorb them. He notes OpenAI released hundreds of proof solutions online on 6 October, disrupting ongoing research programmes, and warns that many AI-generated proofs lack clear documentation or proper attribution of prior human work.