Australia and Paraguay face a World Cup Group D coordination problem where a draw may be the safest path to knockout ...

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

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary ...

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