matematik

DeepMind yapay zekası Science makalesinde dokuz Erdős problemini çözdü

Alphabet'in bir parçası olan Google DeepMind, matematikçi Paul Erdős tarafından ortaya atılan dokuz açık problemi çözen ve On-Line Integer Sequences Encyclopedia (OEIS) veritabanındaki 44 varsayımı kanıtlayan bir yapay zeka sistemi olan AlphaProof Nexus hakkında hakemli bir makale yayınladı. Makale 8…

OpenAI, işaret hatası nedeniyle üç matematik makalesini geri çekti

OpenAI, 6 Ekim'de yayınladığı 722 matematik taslağından üçünü, yayınlanmasından bir günden kısa bir süre sonra geri çekti. Şirket, bir makaledeki argümanı ve diğer iki makalenin dayandığı yapıyı bozan bir işaret hatası buldu. Ayrıca 14 taslağı daha revize etti. Geri çekmeler,…

Araştırmacılar OpenAI’ın Navier-Stokes kanıtındaki uyumsuzluğa dikkat çekti

Matematikçiler, OpenAI'ın 6 Ekim'de yayınladığı yapay zeka tarafından üretilmiş büyük bir kanıt grubunu inceliyor ve şu ana kadar buldukları bazı noktalar şüphe uyandırıyor. Cambridge araştırmacıları tarafından yönetilen bir ekip, şirketin daha önceki Navier-Stokes kanıtının insan tarafından okunabilir versiyonu ile bilgisayar…

OpenAI, yayınlanmamış yapay zeka modeline ait 722 matematik makalesi paylaştı

6 Ekim Salı günü OpenAI, 372 "sonuç ailesine" ayrılmış 722 matematiksel makaleyi halka açık bir GitHub deposunda yayınladı. Şirket, bunların henüz piyasaya sürülmemiş bir dahili sınır modeli tarafından üretildiğini belirtiyor. Scientific American, deponun Doğu Yaz Saati ile akşam 6'da erişime…

Matematikçiler OpenAI’ın yapay zeka kaynaklı kanıtını ‘anlaşılmaz’ buluyor

OpenAI, 21 Eylül Pazartesi günü, Navier-Stokes Milenyum Ödülü problemiyle ilgili tartışmalı ve büyük ölçüde okunamaz yapay zeka üretimi kanıtın yarattığı haftalar süren tepkilerin ardından, Princeton'daki İleri Araştırmalar Enstitüsü'nde ağırlanan bağımsız bir Matematik ve Yapay Zeka Danışma Grubu ile çalıştığını duyurdu.

OpenAI 100’den fazla matematik problemini çözdüğünü iddia ediyor ancak kanıt sunmuyor

OpenAI, 21 Eylül'de 28 Ağustos'ta eğitime başlayan isimsiz bir iç modelin, Navier-Stokes Milenyum Ödülü problemi de dahil olmak üzere matematiğin çoğu alanındaki 100'den fazla köklü açık problemi çözdüğünü duyurdu. Şirket hiçbir kanıt, maddeler halinde bir problem listesi veya dış doğrulama…

OpenAI, yapay zekası 100’den fazla problemi çözünce matematik danışma kurulu kurdu

OpenAI'ın, 8 Eylül'de duyurduğu Navier-Stokes varoluş ve pürüzsüzlük problemi çözümünün, problemin formülasyonundaki bir boşluktan yararlandığını savunan matematikçilerin artan eleştirileriyle karşı karşıya kalmasına rağmen, ikinci bir Milenyum Ödülü matematik problemini çözmeye yakın olduğu bildiriliyor.

Mühendisler OpenAI’ın Navier Stokes kanıtının akışkanlar dinamiği çalışmalarını yakın zamanda değiştirmeyeceğini söylüyor

OpenAI, 8 Eylül'de yayınlanmamış dahili bir yapay zeka sisteminin, üç boyutlu Navier Stokes denklemlerinin sonlu bir sürede tekillik geliştirebileceğine dair bir kanıt ürettiğini ve Clay Matematik Enstitüsü tarafından 2000 yılında ortaya atılan altı Milenyum Ödülü probleminden birini potansiyel olarak çözdüğünü…

OpenAI ikinci Milenyum Ödülü matematik başarısına göz kırptı

Navier-Stokes varlık ve pürüzsüzlük problemini çözdüğünü iddia etmesinden iki haftadan kısa bir süre sonra OpenAI, matematiğin yedi Milenyum Ödülü Problemi'nden birini daha çözmeye yakın olabileceğini ima etti ve spekülasyonlar Hodge Sanısı üzerinde yoğunlaştı. Bu hamle, şirketin matematik camiasından gelen organize…

OpenAI, Justin Sun’ın 1 milyon dolarlık matematik ödülünü almadı

OpenAI, kripto milyarderi Justin Sun tarafından Navier-Stokes denklemleri üzerindeki çalışmaları nedeniyle kendisine verilen 1 milyon dolarlık ödülü almayı reddetti. Bu durum, hem matematik dünyasını hem de yapay zeka tarafından üretilen araştırmalara ilişkin tartışmaları altüst eden bir sonuca yönelik reddedilen ikinci…

Matematikçi, 2000 yıllık Parthenon optik illüzyon efsanesini çürüttü

2000 yılı aşkın bir süredir bilim insanları, Parthenon'un ince kıvrımlarının görsel mühendisliğin bir başarısı olduğunu, tapınağın insan gözüne mükemmel derecede düz görünmesini sağlamak için tasarlanmış kasıtlı düzeltmeler olduğunu savunuyorlardı. Oxford Üniversitesi'nden bir matematikçi artık bu köklü inancın temelsiz olduğunu savunuyor.

Yapay zeka matematiği bir haftada altüst etti: Ünlü matematikçi “dehşete düştüm” diyor

Sadece bir hafta içinde, dünyanın önde gelen iki yapay zeka şirketi matematik camiasını sarsan sonuçlar açıkladı: OpenAI, 90 yıllık ve milyon dolarlık bir matematik problemini çözdüğünü iddia ederken, Anthropic ise Claude adlı yapay zekasının tarihin en ünlü kanıtlarından birini formüle…

Clay Matematik Enstitüsü OpenAI’ın Navier-Stokes İddiasını Yorumladı

OpenAI, 8 Eylül'de yaptığı açıklamada, henüz yayınlanmamış dahili bir yapay zeka modelinin 88 saat boyunca yaklaşık 10.000 otonom ajan kullanarak üç boyutlu Navier-Stokes denklemlerinin sonlu bir sürede tekillik oluşturabileceğine dair bir kanıt ürettiğini duyurdu. Doğrulanması halinde bu sonuç, Clay Matematik…

25 Fields Madalyası sahibi, yapay zekanın matematiksel buluş iddialarının disiplini tehdit ettiği konusunda uyardı

OpenAI, 8 Eylül'de yayınlanmamış bir yapay zeka modelinin, matematikteki yedi Milenyum Ödülü Problemi'nden biri olan Navier-Stokes varlık ve pürüzsüzlük problemini 88 saat boyunca yaklaşık 10.000 yapay zeka ajanını koordine ederek çözdüğünü duyurdu. Bağımsız doğrulama bekleyen bu iddia, itibar, veri gizliliği…

İkinci bir matematikçi OpenAI’ı yapay zeka buluşlarında yayınlanmamış çalışmaları kullanmakla suçladı

OpenAI bu hafta, 10.000 ajandan oluşan bir sürü aracılığıyla koordine edilen ve henüz yayınlanmamış bir yapay zeka modelinin, Navier-Stokes denklemlerinin belirli koşullar altında "patlayabileceğini" gösteren bir kanıt sunduğunu duyurdu. Doğrulanması halinde bu sonuç, matematiğin yedi Milenyum Ödülü Probleminden birinin tarihte…

OpenAI, 10 bin yapay zeka ajanının 90 yıllık matematik problemini çözdüğünü iddia etti

OpenAI Salı günü yaptığı açıklamada, yaklaşık 10 bin koordineli ajanla çalışan yayınlanmamış bir dahili yapay zeka modelinin, Clay Matematik Enstitüsü'nden her biri 1 milyon dolarlık ödül taşıyan yedi Milenyum Ödülü Problemi'nden biri olan Navier-Stokes varlık ve düzgünlük problemi için önerilen…

Navier-Stokes yapay zeka atılımı OpenAI ve Anthropic araştırmacıları arasında kredi kavgası başlattı

Matematikteki en ünlü çözülmemiş problemlerden biriyle ilgili tartışma, NYU matematikçisi Tristan Buckmaster'ın Salı günü OpenAI'ı kendi araştırmasına dayanan bir çalışma için kredi kapmaya çalışmakla ve rakip bir yapay zeka şirketindeki bağları nedeniyle işbirlikçisini yazarlıktan çıkarması için kendisine baskı yapmakla suçlayan…

Terence Tao, yapay zeka destekli akışkanlar dinamiği kanıtlarını ‘olağanüstü bir başarı’ olarak niteledi

NYU matematikçisi Tristan Buckmaster ve Anthropic araştırmacısı Levent Alpöge, pürüzsüz dış zorlama altında çeşitli akışkan denklemlerinin sonlu zamanlı patlamalar, yani fiziksel büyüklüklerin sonsuza ulaştığı noktalar, oluşturabileceğini gösteren yapay zeka destekli ve Lean ile doğrulanmış kanıtlar yayımladı. Fields Madalyası sahibi Terence…

Anthropic: Claude, Fermat’nın Son Teoremi’nin ilk bilgisayar onaylı kanıtını yazdı

Anthropic, Perşembe günü yaptığı açıklamada, yapay zeka modeli Claude'un matematiğin en ünlü sonuçlarından biri olan Fermat'nın Son Teoremi'nin ilk uçtan uca bilgisayar onaylı kanıtını tamamladığını duyurdu. 11 gün boyunca büyük ölçüde otonom bir şekilde çalışan Claude, kanıtı Lean programlama dilinde…

Yapay zeka on yıllardır çözülemeyen matematik problemlerini çözdü

Yapay zeka, birkaç hafta içinde saf matematikte iki tarihi sonuca imza attı: uzmanları 20 yıldan fazla süredir uğraştıran bir varsayımı kanıtladı ve disiplinin en ünlü çözülmemiş problemlerinden birinde önemli bir ilerleme kaydetti.

Anthropic: Claude, Riemann Hipoteziyle İlgili Kritik Bir Sınırı Neredeyse İkiye Katladı

Anthropic'in Claude yapay zekasının henüz yayınlanmamış bir araştırma sürümü, Riemann hipoteziyle ilgili kritik bir matematiksel sınırda bugüne kadarki en büyük tekil iyileştirmeyi gerçekleştirerek, Riemann zeta fonksiyonunun kritik doğru üzerindeki önemsiz sıfırlarının oranına ilişkin kanıtlanmış alt sınırı %41,6'dan %67,2'ye çıkardı.

OpenAI’ın Astra modeliyle elde ettiği matematik sonuçlarına intihal suçlaması

OpenAI'ın şirket içinde Astra olarak adlandırılan bir sonraki büyük yapay zeka modeli, matematik ve teorik bilgisayar bilimlerinde uzun süredir çözülemeyen 10 açık problemi çözdü; ancak bu duyuru, şirketin önceki çalışmalara atıfta bulunmadığını söyleyen matematikçilerin akademik usulsüzlük suçlamalarıyla gölgelendi.

Eleştirmenler OpenAI’ın Astra matematik iddialarını ‘abartılı’ buluyor

OpenAI, 1 Ağustos'ta henüz yayınlanmamış Astra model ailesinin matematik ve teorik bilgisayar bilimindeki 10 uzun süreli açık probleme çözüm ürettiğini duyurdu ve 249 sayfalık bir makale ile tamamen doğrulanmış Lean 4 kanıt sertifikalarını GitHub'da paylaştı. Sonuçlar yüksek boyutlu geometri, kodlama…

OpenAI’ın Astra modeli 10 zorlu matematik problemini 2000 dolara çözdü

OpenAI Cumartesi günü, dahili modeli Astra'nın matematik ve teorik bilgisayar bilimlerinde en az on yıldır çözülemeyen 10 problem için yeni sonuçlar ürettiğini ve her iddia için makine tarafından kontrol edilebilir kanıtlar yayınladığını duyurdu. Şirket, 10 çözümün tamamı için mevcut API…

Anthropic: Yapay zekamız OpenAI’ın matematik atılımlarının yarısına 24 saatte ulaştı

OpenAI, Cumartesi günü yaptığı açıklamada, Astra adlı yeni büyük yapay zeka modelinin şirket içi bir sürümünün matematik ve teorik bilgisayar bilimindeki 10 köklü açık problemi çözdüğünü veya bunlarda önemli ilerleme kaydettiğini duyurdu. 24 saat içinde Anthropic araştırmacısı Levent Alpöge, kamuya…

OpenAI: Astra modeli matematikte 10 açık problemi çözdü

OpenAI, 1 Ağustos'ta yaptığı açıklamada, sonraki büyük model ailesi olan Astra'nın şirket içi bir sürümünün, Sol API tarifeleriyle toplamda yaklaşık 2.000 dolarlık bir çıkarım maliyetiyle matematik ve teorik bilgisayar bilimlerinde uzun süredir açık olan on probleme çözüm ürettiğini duyurdu.

Ünlü ‘einstein’ karosu fizikte sürpriz bir keşfe yol açtı

Sonsuz yüzeyleri tekrarlayan desenler olmadan kaplama konusundaki onlarca yıllık bir bulmacayı çözen matematiksel bir merak konusu olan "einstein" şapka karosu, şimdi fizik dünyasında bir sürprize yol açtı. Tokyo Üniversitesi'ndeki araştırmacılar, bu karoya dayanan nanoyapıların daha önce hiç görülmemiş kiral ışık…

Dört matematikçi Philadelphia’daki ICM’de 2026 Fields Madalyası kazandı

Uluslararası Matematik Birliği, Perşembe günü Philadelphia'daki Uluslararası Matematikçiler Kongresi'nin açılış töreninde 2026 Fields Madalyası sahiplerini duyurarak harmonik analiz, kısmi diferansiyel denklemler, simplektik geometri ve sayı teorisi alanlarında çalışan dört matematikçiyi onurlandırdı.

RedNote’un yapay zekası Matematik Olimpiyatı’nda ilk kez tam puan aldı

Çinli sosyal medya platformu RedNote salı günü yaptığı açıklamada, yapay zeka modeli dots-note-3.0'ın bu hafta Şanghay'da sona eren 67. Uluslararası Matematik Olimpiyatı'nda (IMO) 42 üzerinden 42 tam puan aldığını duyurdu. Bu başarı, resmi IMO puanlayıcıları tarafından doğrulandığı üzere altı sorunun…

Anthropic araştırmacısı yapay zeka yardımıyla 87 yıllık matematiksel varsayımı çürüttü

19 Temmuz gecesi matematikçi Levent Alpöge, X üzerinde yapay zeka yardımıyla çözülen en zor matematik problemi olabilecek kısa bir mesaj paylaştı. Anthropic'in Claude Fable 5 modelini kullanan Alpöge, cebirsel geometrinin en eski açık problemlerinden biri olan Jacobian varsayımını çürüten bir…