AI mathematics News and Analysis

2 verified stories covering AI mathematics, product updates and industry developments.

AI mathematics 2026-08-21

Terence Tao warns AI could push math toward a proof glut

Fields medalist Terence Tao argues AI-generated proofs are about to overwhelm math's peer-review pipeline, pushing him to propose new publishing and teaching norms.

#AI Research #Academia

OpenAI 2026-05-21

OpenAI model cracks an 80-year Erdős geometry problem

An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.

#AI mathematics #Reasoning models #AI for science