OpenAI'nin Matematik Atılımıyla İlgili Tartışma

OpenAI tartışma girdabının ortasında gişe rekorları kıran matematik atılımını iddia ediyor Duyurudan önce, internette matematikçiler arasında kanıtın kökenine dair söylentiler dolaşıyordu OpenAI tüm iddiaları reddetti Şimdiye kadar ikinci kez biri, Milenyum Ödüllü Problemler'in her biri 1 milyon dolar değerindeki yedi en büyük matematik hedefinden birini çözdü. Ancak ilk seferin aksine, bu kişi bir yapay zeka start-up'ı. Bugün OpenAI, dahili modelinin, matematikçilerin akışkanların nasıl hareket ettiğini incelemek için kullandıkları Navier-Stokes denklemlerinin ölümcül derecede kusurlu olduğunu kanıtladığını duyurdu. Açıklama, matematikçi Tristan Buckmaster'ın, şirketin Buckmaster ve meslektaşı Levent Alpge'nin ilgili bir sorunu çözmek için özel bir yöntem kullandığının farkına varmasının ardından OpenAI'nin kanıtı ele aldığını iddia etmesinden sonra geldi. OpenAI iddiaları yalanladı. OpenAI'nin kanıtı, Nadir durumlarda Navier-Stokes denklemlerinin patladığını gösteriyor; bu, bir sıvının hızının bazı noktalarda sonsuz hale geldiğini, doğada imkansız bir şeyin olduğunu dikte ettikleri anlamına geliyor. Şirket, kanıtın, doğruluğunu garanti eden Yalın programlama dili kullanılarak onaylandığını söylüyor. Bu makaleyi beğendiyseniz abone olarak ödüllü gazeteciliğimizi desteklemeyi düşünün. Bir abonelik satın alarak, bugün dünyamızı şekillendiren keşifler ve fikirlerle ilgili etkili hikayelerin geleceğinin güvence altına alınmasına yardımcı oluyorsunuz. Diego Crdoba, "Biraz şoktayız" diyor.

O ve Luis Mart nez-Zoroa, başlangıçta yapay zekanın sorunu çözmek için kullandığı, zorlama adı verilen yaklaşımı geliştirdiler. Crdoba, eğer yapılırsa, bunun bizim için büyük bir sürpriz olacağını söylüyor. OpenAI'nin kanıtı duyurmasından önceki gece Buckmaster, kendisinin ve bir matematikçi ve Anthropic çalışanı olan Alp Ge'nin, alanda yaygın olarak Navier-Stokes problemini çözmeye yönelik bir adım olarak görülen Euler denklemlerini havaya uçurduklarını sosyal medyada paylaştı. Pazartesi günü yayınlanan bir açıklamada Buckmaster, OpenAI'nin paritenin geçen haftaki ilerlemesini öğrendiğini ve Buckmaster ve Alpge'nin tüm sorunu çözmek için kullandığı yöntemin aynısını benimsediğini iddia etti. OpenAI matematikçi S bastien Bubeck, Salı günü düzenlediği basın toplantısında kanıtın kökenleri hakkındaki söylentileri yalanladı.