We use cookies to improve your experience. By using our site, you agree to our Privacy Policy.
altbtc.cc
CRO (0.07) TAO (320.98) HBAR (0.09) GRAM (1.55) AVAX (10.76) SUI (1.17) CC (0.14) LTC (71.82) NEAR (5.06) BCH (332.81) XLM (0.21) ADA (0.25) XMR (559.59) HYPE (93.23) ZEC (1,640.75) TRX (0.33) SOL (121.09) XRP (1.52) BNB (772.07) ETH (2,697.01) BTC (84,437.04)
altbtc.cc · [beta]

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

  • Read at Decrypt
  • Sat, 05 Sep 2026 13:01:03 +0000
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever