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.

A decade or so ago, reading instruction underwent a public reassessment. Whole language approaches had emphasized immersion in texts and contextual, “cue"-based guessing strategies. The goals were ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

On Tuesday, OpenAI introduced dynamic visual explanations, a new ChatGPT feature that allows users to see how formulas, variables, and mathematical relationships change in real time. Instead of just ...

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

Some readers may solve the problem procedurally: line up the two numbers, add the ones column, carry the one, and add the tens to get 43. Others might instead notice a creative shortcut: 29 + 14 is ...

In many elementary math classrooms, technology feels like an add-on or one more thing that we need to include. Whether we use adaptive programs to fill gaps or avoid screens to focus on “real math,” ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

Math homework doesn’t have to feel overwhelming. Homework deadlines, upcoming exams, and tricky concepts like derivatives or integrals can make studying stressful—but AI can change that. With ...

Last December, several members of a national organization for math education leaders came together to issue a warning. A growing movement in the field, they claimed, was calling on schools to adopt an ...

Images of plants painted on pottery made up to 8,000 years ago may be the earliest example of humans’ mathematical thought, a study has found. Researchers from the Hebrew University of Jerusalem ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...