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

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.

In middle school entrance exams, math is, along with Japanese, one of the most difficult subjects to overcome. First, let's consider what to do for children who are scoring between 0 and 10 points on ...

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