Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

The bat-and-ball problem is a famous math puzzle that more than half of people—even Harvard graduates—get wrong. It's ...

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

At the same time, the newspaper reports, academic standards are being continuously lowered. Recently, several German states removed long division and decimal calculations from mathematics lessons in ...

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

One afternoon earlier this year, my 11-year-old son was sitting at his laptop and working quietly on his math homework. At least, that’s what he was supposed to be doing. When I glanced at his screen, ...

Middle school math teachers are all too familiar with a question—usually uttered with a groan—that students ask when they make an unsettling shift into more complex content: “When am I ever going to ...

A “solid majority” of Harvard faculty preferred a formula that would cap A grades at 20 percent of enrolled students plus four over an amended version that would have set the cap at 20 percent plus ...

Anthropic’s Claude Mythos Preview has dominated security discussions since its April 7 announcement. Early reporting describes a powerful cybersecurity-focused AI system capable of identifying ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

While nearly every industry is racing to integrate artificial intelligence, most schools are still teaching high school math the way it’s been done for decades–rooted in instructional material that is ...

MathCode is a terminal AI coding assistant with a built-in math formalization engine. Give it a math problem in plain language and it will automatically convert it into a Lean 4 theorem and attempt a ...