The dual agent AI system autonomously solved Anderson's conjecture from 2014 Rethlas explores problem-solving strategies like a human mathematician would Archon transforms potential proofs into ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension with complex math concepts, making them a common hurdle for students. The good ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

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.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

DeepSeek DSpark accelerates AI coding workflows by pairing a junior drafting model with a senior editor, cutting response ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

Easy access to AI-powered answers during important math assessments is creating significant learning loss, according to a new ...

When my cofounder and I were accepted into a competitive startup accelerator program in fall 2025, we applied with an ambitious idea: to build an “AI scientist” for machine learning research. What ...

When I noticed my son using AI to solve his math homework, I didn't know how to feel. I then helped the school implement a creative AI policy.