A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...
A little over a week ago, artificial intelligence company OpenAI announced 10 advances in mathematics and computer science made with its as-yet-unreleased model Astra. The discoveries cover a wide ...
A solution to part of the Cohen-Lenstra conjecture helps resolve a long-standing mystery about quadratic forms ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results