When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of ...

If there is one area in which the schools have performed less well in serving her children, who just completed eighth grade, ...

Dylan Kane likes his math curriculum. But there’s one important piece missing, he says. The 7th grade math teacher in Leadville, Colo., uses a program that teaches math skills through real-world ...

Studying the epic journey of the iconic jumping plumber can lead to new insights in theoretical computer science—and may help ...

Some individuals don’t consider themselves “poetry people.” I, for one, infrequently read poetry, rarely write poetry, and ...

Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, delivered to your inbox daily. Last month, OpenAI announced that its ...

Think about placing dots on a flat surface. You want as many pairs as possible to be separated by the same distance. For any amount of dots, what is the greatest possible number of pairs that can be ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

Artificial intelligence can now solve open research-level mathematics problems — not just competition questions — and the May 2026 issue of Science News documents the moment the field registered that ...

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...

It started almost by accident. At my startup Dwelly, I constantly push the limits of what AI tools can actually do. One day I just typed into a chat: “Can you prove P ≠ NP?”—referring to the problem ...