Etiket: Matematik

Tarihte ilk kez genel amaçlı bir yapay zeka modeli, üzerinde özel olarak çalışmadığı köklü bir matematik bilmecesini otonom şekilde çözdü. Saygın bilim kurumlarından gelen açıklamalar, yapay zekanın geliştirdiği geometrik yöntemin tamamen kusursuz ve geçerli olduğunu kanıtlıyor.

OpenAI daha önce bir kere daha iddia ettiği ve yalancı konumuna düştüğü 80 yıllık matematik problemini bir kez daha çözdüğünü iddia ediyor.

23 yaşındaki Liam Price, GPT-5.4 Pro’ya verdiği tek istemle 60 yıllık bir Erdös probleminin çözümüne kapı açtı. İspat, uzmanlar tarafından incelendi ve Erdös Problems sitesinde Lean ile doğrulanmış olarak işaretlendi.

Pekin Üniversitesi'nden bilim insanları, insan müdahalesine gerek duymadan karmaşık problemleri çözen yeni bir teknoloji geliştirdi. Hiç durmadan 80 saat boyunca çalışan sistem, 2014 yılından bu yana yanıt bekleyen matematik varsayımını hatasız bir şekilde ispatlamayı başardı.

11 üst düzey matematikçi, yapay zekâya bir haftada çözmesi için 10 özgün lemma verdi. OpenAI dahil birçok ekip denedi. İşte “First Proof” meydan okumasının dikkat çeken ayrıntıları.

Çinli yapay zekâ girişimi DeepSeek'ten yine ortalığı karıştıracak bir hamle geldi. Şirket, matematik olimpiyatlarında altın madalya seviyesine ulaşan yeni modeli "Math-V2"yi duyurdu. Üstelik bu yapay zekâ modeli, açık kaynak kodlu. İşte detaylar...

DeepSeekMath-V2, teorem ispatlamada kendi kendini doğrulayan yapısıyla matematiksel akıl yürütmede yeni bir çağ başlatıyor. Detaylar ve indirme bağlantıları içeride.

Her yıl Ekim ayında fizik, kimya ve tıp alanlarındaki dev isimler Stockholm'de onurlandırılırken, her bilimsel keşfin temel taşı olan matematik dışarıda bırakılıyor. Bu durum, yıllardır süregelen bir şehir efsanesini de beraberinde getirdi: Alfred Nobel, bir aşk üçgeni nedeniyle mi matematiğe küstü?

Yapay zekâyı sınavlara sokmaya devam ediyoruz. Bu kez AYT 2025'in sayısal kısmı ile ChatGPT'yi zorladık. Peki sonuçlar nasıldı? İşte ChatGPT'nin AYT 2025 sayısal performansı.

200 yıldır çözülemeyen beşinci derece polinom denklemleri için yeni bir çözüm yöntemi geliştirildi. Matematikçiler bu kez farklı bir yaklaşımla sonuca yaklaşıyor.

Matematikçilerin yıllardır gündeminde olan "Kervaire değişmezi" ile ilgili bir soru resmen çözüldü. Çinli bilim insanlarının çalışması, an itibarıyla hakem heyeti onayı bekliyor.