Lean

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…

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…