OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer ...

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

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

A study by researchers in the UAB Department of Mathematics and the Center for Mathematical Research (CRM) presents a model describing the behavior of encapsulated bacteriophages within the ...

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

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

A study of 67 AI models finds enterprises underestimate multi-model failure rates by 2.25x, and offers a free test to check routing infrastructure first.

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

OpenAI said it paused internal access to the unreleased model that disproved a famous 80-year-old math conjecture after the ...

How long should you keep your phone for? I did the math - it's likely not what you think ...

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