research-culture
Terence Tao proposes Math 2.0 for an age of abundant proofs News
Terence Tao’s Math 2.0 agenda calls for AI-assisted explanation, shared mathematical infrastructure and transparent evaluation alongside problem solving.
Mathematicians argue that illustration belongs inside research News
Kate Stange and Edmund Harriss argue that rigorous mathematical illustrations can reveal and certify structure as AI makes generating results easier.
Mathematicians challenge how OpenAI presents mathematical progress News
New essays challenge the readability and career implications of OpenAI’s math release while community projects refine one conditional result.
NeurIPS rebuttal week ended with authors, reviewers and chairs all reporting the same silence News
The NeurIPS 2026 author discussion window closed on 3 August with multiple independent reports of reviewers and area chairs never responding to rebuttals, in a cycle the conference redesigned specifically to make that discussion consequential.
Terence Tao says the bottleneck in AI-assisted mathematics is understanding, not proofs News
In an ICM public lecture, Terence Tao argues that AI and formal proof systems accelerate generating and verifying proofs but not explaining, reviewing or canonicalizing them, so correct results could pile up faster than the field can absorb them.