❌

Normal view

Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next

12 September 2026 at 08:28

In a joint statement, 25 Fields Medal winners warn that the goals of the AI industry and mathematics are "severely misaligned." They argue that mass-producing solved problems with AI undermines the discipline's true goal: understanding. The mathematicians see this as a symptom of a broader threat to intellectual work.

The article Leading mathematicians fear AI is making their field dumber, and warn the rest of us is next appeared first on The Decoder.

GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design

10 September 2026 at 13:45

OpenAI's GPT-6 Astra tops the ErdosBench for open math problems, even though chief scientist Jakub Pachocki says math was deliberately not a priority. Instead, OpenAI is pouring resources into recursive self-improvement and alignment research. That supports the theory of an increasingly "spiky" AI development path, with extreme strength in select domains rather than broad progress, at least as long as AI can't improve itself and still needs targeted optimization with human-generated data.

The article GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design appeared first on The Decoder.

OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs

9 September 2026 at 10:27

The fight over an AI-generated proof of a millennium problem is heating up. Mathematician Tristan Buckmaster accuses OpenAI of academic fraud, CEO Sam Altman rejects the allegations. Terence Tao warns that cases like this could "reverse centuries of tradition in open science."

The article OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs appeared first on The Decoder.

OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper

8 September 2026 at 17:51

Mathematician Tristan Buckmaster says an OpenAI researcher pressured him after information about his AI-assisted progress on the Navier-Stokes equations allegedly reached the company. The researcher tried to remove his co-author because he works at Anthropic and threatened Buckmaster when he refused, according to Buckmaster's account. OpenAI then claimed its own breakthrough using the same unusual solution path. Buckmaster had uploaded all his drafts to Codex. OpenAI told him the model didn't look up user data, but when he asked about training, he says he got no answer. OpenAI denies the allegations.

The article OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper appeared first on The Decoder.

Terence Tao says AI could trigger math's biggest crisis since GΓΆdel

20 August 2026 at 08:49

In a new essay, Terence Tao warns that AI could push mathematics into a crisis on par with the foundational upheaval around 1900. What's being tested this time isn't mathematical truth but the values of the field: what counts as a contribution, what gets rewarded, and who did the work. His rule of thumb: a proof that no human can explain should be considered incomplete.

The article Terence Tao says AI could trigger math's biggest crisis since GΓΆdel appeared first on The Decoder.

A Simplified View of the Jacobian Conjecture

30 July 2026 at 13:30

The full conjecture is stated over abstract fields, but the counterexample is a concrete 3D function that we can explain and visualize using familiar geometric ideas and a little algebra.

The post A Simplified View of the Jacobian Conjecture appeared first on Towards Data Science.

❌