In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...