Hello! I'm Toyo, a second-year high school student who has been using an iPad as a partner for studying math, science, and English since my first year of junior high. Before I knew it, I've been using ...

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

Last Thursday Massachusetts Institute of Technology graduate student Seyoon Ragavan sent a new quantum cryptography proof to his friend Yao-Ting Lin, a doctoral student at the University of ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

A mathematician announced that he used one of Anthropic's A.I. models to find a counterexample to a problem called the ...