A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...

Overview: An algorithm is a step-by-step set of instructions that takes an input and produces a clear output, just like a ...

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

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