OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

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 ...

AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...

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 ...

That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...

UC San Diego is trying to solve a math problem. The university said a growing number of students are starting their freshman year lacking high school math proficiency. KPBS reporter Jacob Aere says ...