157 haber bu etiketle işaretlenmiş
Matematiksel analiz yazısında, reel sayılarda sınırlı kalan birimin n'inci dereceden köklerinin karmaşık sayılar kümesindeki yapısı ele alındı. Reel sayılarda tek dereceli kökler yalnızca 1, çift…
OpenAI, geliştirdiği son yapay zeka modeliyle kanıtlanan 700'den fazla matematiksel sonucu kamuoyuyla paylaştı. Yayımlanan bulgular geniş yankı uyandırırken, araştırmacıların yaptığı veri tabanı…
Aralarında Jeremy Avigad ve Kevin Buzzard'ın bulunduğu matematikçiler, yapay zeka sistemlerinin teorem kanıtlama yeteneklerini değerlendiren ortak bir yazı yayımladı. Metinde, son dönemde OpenAI ve…
Simons Foundation, Anthropic ve OpenAI ortaklığıyla matematik camiasının yapay zeka alanındaki hızlı gelişmelere uyum sağlamasını hedefleyen 15 milyon dolarlık yeni bir destek programı duyurdu.…
OpenAI tarafından yayımlanan yüzlerce yeni matematiksel kanıt, sayı teorisinden teorik bilgisayar bilimine kadar uzanan alanlarda onlarca yıldır çözülemeyen problemleri aydınlattı. Fields Madalyası…
OpenAI şirketi, şirket içi geliştirdiği yapay zeka sistemi tarafından üretilen 700'den fazla matematiksel taslağı 6 Ekim 2026 tarihinde kamuoyuna açıkladı. Yayımlanan çalışmaların bir kısmının Lean…
Matematikçiler, 16 Eylül 2026 tarihinde yayımladıkları çalışmayla üç boyutlu uzayı yalnızca kendi kopyalarıyla ve hiçbir öteleme simetrisi oluşturmadan kaplayabilen ilk güçlü aperiodik tekil karoyu…
Los Alamos Ulusal Laboratuvarı'nda erken dönem bilgisayar programlama çalışmalarıyla kaos teorisinin temellerini atan matematikçi Mary Tsingou Menzel yaşamını yitirdi. Tsingou, 1952 yılında…
Fields Madalyası sahibi matematikçi Terence Tao, yapay zekanın matematik alanındaki etkileri, bilim ekosisteminin karşılaştığı tehditler ve DARPA destekli ALPHA projesi hakkında açıklamalarda…
Matematikçiler Kenneth Appel ve Wolfgang Haken, 1976 yılının Temmuz ayında bir asırdan uzun süredir çözülemeyen Dört Renk Teoremi'ni bilgisayar desteğiyle kanıtladı. Herhangi bir haritadaki komşu…
Matematik ve teorik bilgisayar bilimi araştırmacıları, 10 durumlu Turing makineleri sınıfında yeni bir rekora imza atan "n1" adlı makineyi duyurdu. Boş şeritten başlayarak durduğu Coq teorem…
Matematikçiler yüzyıllar boyunca negatif sayıların karekökünü içeren denklemleri çözümsüz kabul etti. İtalyan matematikçi Gerolamo Cardano 1545 yılında yayımladığı Ars Magna adlı eserinde, üçüncü…