Peter Scholze

2026-10-13

RESEARCH · 1 SOURCE · The Decoder

Shing‑Tung Yau launches 'Yau Laboratory Alliance for Mathematics and AI' in Beijing to scale math–AI research

Fields Medalist Shing‑Tung Yau and leading Chinese mathematicians launched the Yau Laboratory Alliance for Mathematics and Artificial Intelligence in Beijing, uniting eight institutions and aiming to build a network of over 1,000 researchers to develop specialized models, machine‑verifiable proofs, and transparent AI reasoning. The move comes as about 25 Western Fields Medal winners — including Terence Tao and Peter Scholze — express deep skepticism about AI‑generated proofs and some call for boycotts, warning such tools may erode understanding.

7.0

2026-10-10

MODELS · 1 SOURCE · The Decoder

OpenAI releases 700+ claimed mathematical proofs; mathematicians react with shock

On October 6, 2026 OpenAI uploaded more than 700 manuscripts to GitHub claiming solutions to hundreds of open mathematics problems; the release prompted over 100 responses collated by the blog Proofs and Prompts. Experts are divided — some say the results contain striking ideas, others warn many papers are hard to read, some withdrawn, and the broader consequences for research practice, careers and even cryptography are being debated.

8.0

2026-10-08

RESEARCH · 1 SOURCE · The Decoder

Mathematicians call for OpenAI boycott after publication of hundreds of AI-generated proofs

After OpenAI released more than 700 AI-generated mathematical manuscripts, the Association for Human Mathematics (AHM), chaired by Fields Medalist Terence Tao, urged mathematicians to boycott the company, accusing it of violating core research norms by flooding the field with dense, hard-to-verify proofs. The dispute, which follows OpenAI's claim that an internal model solved 100+ open math problems and the creation of an advisory group AGMAI, centers on whether problems should count as solved before human-verifiable, readable proofs and on attribution/training-data concerns.

8.0

2026-09-18

REGULATION · 1 SOURCE · The Decoder

42 leading mathematicians warn Royal Society that advanced AI poses real and urgent existential risk

An open letter to the president of the Royal Society from 42 mathematical fellows — including Fields Medalists Martin Hairer, Peter Scholze and Wendelin Werner — warns that advanced AI presents a real and urgent existential risk. The letter, citing rapid progress (it notes leading models from OpenAI and Anthropic have recently solved open research problems, including one Millennium Problem), says similar fast gains could produce superhuman capabilities in domains such as cybersecurity, autonomous weapons, biological and chemical development, and targeted misinformation.

7.0