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

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...

The idea that artificial intelligence can “reason” is more intuitive than ever. But intuitions can be wrong, and the science is far from settled.

But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...

A technique that allows developers to shrink powerful artificial intelligence models into cheaper, more efficient systems has ...

With costs no longer such a severe factor, open-weight models have been able to close the gap with proprietary ...

By expanding dynamical systems theories to account for forgetting rates, attraction levels, and reaction patterns, math can ...

Google DeepMind is targeting July 17 for the general availability of Gemini 3.5 Pro — now four days away — but every specific claim circulating about the launch, including the date itself, the ...

The laws of physics that concern heat and work could gain a firmer mathematical footing thanks to “gauge theory”, which already helps us understand quantum fields ...

Get your news from a source that’s not owned and controlled by oligarchs. Sign up for the free Mother Jones Daily. Energy efficiency standards can make it more expensive to construct new buildings, ...

Something shifted in the American AI developer market around February 8, and the numbers make it hard to ignore. Chinese-built AI models crossed the 30% threshold of weekly token usage among US users ...