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

GenAI’s breakthrough in mathematics offers a lesson for medicine: solving healthcare’s biggest problems means questioning old ...

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

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.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

Companies are shifting from running everything on the most powerful AI model to matching each task to the right one, a practice called model routing. The pressure for efficiency comes as large ...

Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you rearrange the dots, how many pairs could be positioned exactly the same ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics. Reading time 10 minutes Will ...

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

Susan Gilkerson, a math teacher and school bus driver, stood before a South Dakota education board and issued a warning. The proposed math standards the board was considering — just 36 pages, less ...

GPT just keeps getting better at mathematics, increasingly solving the trickiest of problems. In January, AI testing company Epoch AI found that a previous version of the AI model, GPT-5.2 Pro had ...

AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...