GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of ...
A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, bringing fresh attention to how artificial intelligence is beginning to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results