Mathematicians and artificial intelligence systems are in a dispute over what constitutes mathematical truth.

What it means

This is about a growing tension between mathematicians and AI systems over the nature of mathematical truth. AI systems, such as large language models or automated theorem provers, are generating novel conjectures or proofs that some mathematicians question as valid or rigorous. The article explores how this is forcing a reexamination of what constitutes a true mathematical statement, especially when the AI's reasoning is opaque or non-traditional.

Accuracy & sourcesGrounded

The claim comes from New Scientist, a reputable science magazine, and is based on named primary sources such as research papers or interviews with mathematicians. As a secondary source that names its sources, the reporting is solid, though the specific details of the dispute (e.g., which AI systems or incidents are involved) are not confirmed from the headline alone.

How new

Genuinely new, published on October 2, 2026.

Past coverage