AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining ...

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

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

From Doe v. Regents of Univ. of Mich., decided yesterday by Judge Laurie Michelson (E.D. Mich.): Plaintiff, a student at the University of Michigan, was disciplined her for alleged academic misconduct ...

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

Artificial intelligence promises clear answers from complex data. Yet new research suggests there are limits that no amount ...