The space around Earth is becoming increasingly crowded, with thousands of satellites and pieces of debris now sharing low ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

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

Fields Medal 2026 winners Hong Wang, Yu Deng, John Pardon, and Jacob Tsimerman each solved problems that had stood open for ...

A 50-year mathematical hunt is over after two researchers cracked the 3D Kakeya conjecture, unlocking a result hailed as once ...

Fields Medal 2026 winners were announced July 23 at ICM Philadelphia: Hong Wang, Yu Deng, John Pardon, and Jacob Tsimerman ...

Awards make China only the fifth country to ever produce two Fields medallists at a single ceremony, and the first in Asia to ...

Two Chinese mathematicians have been awarded the Fields Medal, widely regarded as the "Nobel Prize of mathematics", marking a ...

Mathematicians Yu Deng, John Pardon, Jacob Tsimerman and Hong Wang have won the 2026 Fields Medal — one of the most coveted ...

The Summer Undergraduate Applied Mathematics Institute (SUAMI) is an eight-week summer research program for undergraduate students. The goals of the SUAMI are twofold: (1) to expose students to the ...