OpenAI Released 719 Math Manuscripts. The Hard Part Starts Now

An unreleased model generated a library of results at a scale no human group could review quickly. The release may move math’s bottleneck from proving to understanding.

An unreleased model generated a library of results at a scale no human group could review quickly. The release may move math’s bottleneck from proving to understanding.

OpenAI released a 166-page proof of a Navier–Stokes blowup scenario, but the million-dollar problem is not yet a settled prize-winning result.

Sunshine Jiang and Rupert Li from MIT have been selected as 2026 Knight-Hennessy Scholars, receiving funding for graduate studies at Stanford University.

MIT researchers have created MathNet, a groundbreaking dataset of over 30,000 math problems from 47 countries, aimed at enhancing AI capabilities and student training.

Recent analysis challenges the feasibility of fully autonomous AI agents, highlighting inherent limitations in current models.

Dr. Gladys West, whose mathematical models were crucial in the development of GPS technology, has died at the age of 95.

OpenAI's latest iteration, GPT-5.2, is set to revolutionize the fields of science and mathematics, enhancing problem-solving capabilities and educational tools.