Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...
A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...
A solution to part of the Cohen-Lenstra conjecture helps resolve a long-standing mystery about quadratic forms ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results