Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) ...

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

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

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.