Every morning, groups of birds start singing and chirping around the same time, typically when the sun starts rising. While ...

Scientists have long known that ant colonies sometimes seem to move as one. A nest that appears quiet can suddenly erupt into ...

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

Mathematician Yang-Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and that's a ...

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

AI-powered breakthroughs are raising big questions about how to do mathematics – and why we do it in the first place.

An imec researcher published a technical paper titled “Bond Front Velocity in Lubrication-Mediated Bonding of Flexible ...

Another major historical milestone in the age of AI has been achieved by @OpenAI 's next model family, Astra! We are now ...

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

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version ...