Tabii ki, GPT-5 Riemann Hipotezi'ni çözmüyor ya da Langlands Programı'nda çığır açan keşifler yapmıyor. Ama işin aslı şu—bir yıl önce, herhangi bir LLM'nin çözülmemiş matematik problemleri için kanıtlar denemesi düşüncesi gülünç gelirdi. Şimdi bu modellerin küçük ve orta karmaşıklıkta zorluklarla başa çıktığını izliyoruz. Bu değişim bile, temel bir şeyin değiştiğini gösteriyor.