Yapay Zeka ve Matematiksel Keşif Dosyası
4 haber · 5 kaynak · 11 Ağustos 2026 tarihinden beri · son gelişme 7 Eylül 2026
An unreleased Anthropic model made significant progress on the Riemann hypothesis by coordinating 60 sub-agents and testing 650 ideas, formalized using the Lean proof assistant.
Gelişmeler
- Yapay Zekanın Matematik İşgali: OpenAI'ın Astra Modeli ve Akademik Sarsıntı
OpenAI'ın henüz yayınlanmamış Astra modeli, onlarca yıldır çözülemeyen 10 karmaşık matematik problemini çözerek bilim dünyasında şok etkisi yarattı; bu durum matematikçileri gelecekle ilgili derin bir
- Anthropic'in Gizli Yapay Zeka Modeli Riemann Hipotezinde Büyük İlerleme Kaydetti
Anthropic'in henüz yayınlanmamış yeni modeli, asal sayıların dağılımıyla ilgili 150 yıllık Riemann hipotezinin çözüm aralığını genişleterek matematik dünyasında ses getiren bir ilerleme sağladı.
- Anthropic'in Yeni Yapay Zekâsı 150 Yıllık Riemann Hipotezi'ne Yeni Soluk Getirdi
Anthropic'in yeni modelinin, matematiğin en gizemli problemlerinden Riemann Hipotezi'ni çözmek için 650 farklı fikir deneyerek çözüm yolunda kritik matematiksel ilerlemeler kaydettiği açıklandı.
- Anthropic AI, Fermat'nın Son Teoremi'ni 11 Günde Formelleştirdi
Anthropic'in geliştirdiği Claude yapay zekası, matematik dünyasının en ünlü problemlerinden biri olan Fermat'nın Son Teoremi'ni bilgisayar tarafından doğrulanabilir koda dönüştürerek devrim niteliğind
Kaynaklar
- Anthropic'in yeni yapay zekâsı, matematiğin en büyük problemlerinden birini çözüme yaklaştırdı— DonanımHaber
- Anthropic’in Gizli Modeli 150 Yıllık Matematik Problemine El Attı— ShiftDelete
- An unreleased Anthropic model made progress on one of math’s biggest unsolved problems— TechCrunch
- The AI takeover of mathematics has begun— The Verge
- Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days— Nature
Bu dosya 5 kaynaktan derlendi. Gelişmeleri takip etmek, bildirim almak ve sesli bülteni dinlemek için Recap'e giriş yap.