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

The announcement sent waves through social media and the inner circles of mathematics, as the latest in a series of AI-driven ...

A mathematician announced that he used one of Anthropic's A.I. models to find a counterexample to a problem called the ...

Joan Birman popularized the Burau representation problem decades ago. Now she and two colleagues have a proof that reveals ...