Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...
GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...
As impressive as AI models can appear today, rigorous benchmarks show that we still have them beat when it comes to math.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results