Dün ilginç bir eşiği geçtim, sanırım diğer birçok matematikçi de son zamanlarda bunu aşıyor. Bir sonucu kanıtlamaya çalışmanın ortasında, doğru görünen ve eğer doğruysa benim için yararlı olacak bir ifade belirledim. 1/3

Bunu kanıtlamaya çalışmak yerine GPT5'e sordum ve yaklaşık 20 saniye içinde bir kanıt aldım. Kanıt, duymadığım bir lemmaya dayanıyordu (ifade ana alanlarımın biraz dışındaydı), bu yüzden sonunda oraya varacağımdan emin olsam da, 2/3

Beni alacak süre muhtemelen bir saat büyüklüğünde olurdu (oldukça geniş hata çubuklarıyla gelen bir tahmin). Dolayısıyla, araştırmamızın yapay zeka tarafından büyük ölçüde hızlandırıldığı ancak yapay zekanın hala bize ihtiyacı olduğu kısa ama keyifli bir döneme girmiş gibi görünüyoruz. 3/3

Not: Adını duymadığım bir lemma kullandığından endişelenen varsa, lemmanın bir halüsinasyon olup olmadığını kontrol ettim.