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

As millions of people were coming down from the excitement of the FIFA World Cup Final at the start of this week, a different kind of excitement was building within the mathematical community. Levent ...

An artificial intelligence has disproved five mathematical conjectures – unproven theorems – despite not being equipped with any information about the problems. Adam Zsolt Wagner at Tel Aviv ...