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

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

Mathematicians have stumped the most advanced generative artificial intelligence (AI) models with a series of mind-bending new math problems. These problems typically require doctorate-level ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

Google DeepMind said AlphaProof Nexus solved nine open Erdős problems using Lean-verified proofs. The claim has sharpened ...