Yapay zekâ matematiğe girdi. Ve bu artık bir yarış. 🧮🏁 1️⃣ 5 dev, 1 yarış: OpenAI, Anthropic, Google, xAI ve Çin aynı hedefin peşinde. 2️⃣ OpenAI tek hamlede 722 matematik makalesi yayınladı. ~4.000 açık problem denendi 3️⃣ En cesur iddia: zeta fonksiyonunun Re(s) > 7/8 bölgesinde sıfırı olmadığı. Riemann’ın kendisi değil, ama dev bir adım iddiası. 4️⃣ Ertesi gün bir işaret hatası yüzünden 3 makale geri çekildi, 14’ü düzeltildi. Sonuçların yalnızca ~%42’si Lean ile doğrulanmış durumda. 5️⃣ Anthropic: Claude ajanları Fermat’nın Son Teoremi’nin ilk eksiksiz bilgisayar kontrollü ispatını 11 günde Lean’de yazdı. 6️⃣ Google DeepMind: Gemini, hakemden geçmiş bir makaledeki hatayı buldu; AlphaProof Nexus 9 Erdős problemini çözdü. 7️⃣ xAI: Büyük duyuru yok, ama Grok’la bulunan 5 yeni sonuç ve bir karşı örnek haberi var. 8️⃣ Çin: Huawei ve Xiaohongshu’nun modelleri Matematik Olimpiyatı’nda resmî değerlendirmede 42/42 aldı. 9️⃣ Pekin Üniversitesi’nin ajanları 2014’ten beri açık bir sanıyı çö...