Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

OpenAI’s claim that GPT-5 had solved ten of Paul Erdős’s famous “unsolved” math problems has drawn sharp backlash from across the AI industry, after experts revealed the model merely rediscovered ...

A Chinese AI framework has independently solved and formally verified a conjecture in commutative algebra that had gone unsolved for over a decade, marking a potential milestone in AI-assisted ...