OpenAI, yapay zekan\u0131n matematik alan\u0131ndaki son geli\u015fmelerini g\u00f6zler \u00f6n\u00fcne seren kapsaml\u0131 bir \u00e7al\u0131\u015fma koleksiyonunu payla\u015ft\u0131. Hen\u00fcz genel kullan\u0131ma sunulmam\u0131\u015f olan dahili “frontier” modeli taraf\u0131ndan \u00fcretilen 722 matematik makalesi, 372 farkl\u0131 sonu\u00e7 ailesi alt\u0131nda GitHub platformunda eri\u015fime a\u00e7\u0131ld\u0131.<\/p>\n
Ba\u011f\u0131ms\u0131z bir uzman grubu olan Matematik ve Yapay Zeka Dan\u0131\u015fma Grubu (AGMAI), bu \u00e7al\u0131\u015fmalar\u0131n, matematikte uzun s\u00fcredir \u00e7\u00f6z\u00fclemeyen y\u00fczlerce a\u00e7\u0131k probleme y\u00f6nelik yenilik\u00e7i sonu\u00e7lar i\u00e7erdi\u011fini belirtti. Ancak grubun da alt\u0131n\u0131 \u00e7izdi\u011fi gibi, bu sonu\u00e7lar\u0131n matematik d\u00fcnyas\u0131 taraf\u0131ndan titizlikle incelenmesi ve do\u011frulanmas\u0131 gerekiyor. OpenAI de yay\u0131mlad\u0131\u011f\u0131 \u00e7al\u0131\u015fmalarda, farkl\u0131 do\u011frulama a\u015famalar\u0131ndan ge\u00e7en sonu\u00e7lar\u0131n yan\u0131 s\u0131ra resmile\u015fmemi\u015f ve hata i\u00e7erebilecek i\u00e7eriklerin olabilece\u011fini a\u00e7\u0131k\u00e7a ifade ediyor.<\/p>\n
\u015eirketin verdi\u011fi bilgilere g\u00f6re, model yakla\u015f\u0131k 4 bin matematik problemini analiz etti. Bu problemler \u00fczerindeki \u00e7al\u0131\u015fmalar de\u011ferlendirilerek \u00f6nem derecelerine g\u00f6re filtrelendi ve nihayetinde 372 ailede toplanan 722 makale ortaya \u00e7\u0131kt\u0131. Ortalama bir \u00e7al\u0131\u015fman\u0131n ortaya \u00e7\u0131kmas\u0131 i\u00e7in kullan\u0131lan hesaplama g\u00fcc\u00fcn\u00fcn de, \u00fc\u00e7 saatlik ChatGPT Pro d\u00fc\u015f\u00fcnme kapasitesine e\u015fde\u011fer oldu\u011fu belirtiliyor.<\/p>\n
OpenAI, \u015feffafl\u0131\u011f\u0131 art\u0131rmak amac\u0131yla baz\u0131 \u00f6zel bilgiler de payla\u015ft\u0131. Bu a\u00e7\u0131klamalarda, se\u00e7ilmi\u015f 10 farkl\u0131 problemin k\u0131salt\u0131lm\u0131\u015f ak\u0131l y\u00fcr\u00fctme \u00f6zetleri, kullan\u0131lan hesaplama birimi tahminleri ve incelenen problem say\u0131lar\u0131 gibi veriler yer al\u0131yor. S\u00f6z konusu \u00f6rnek problemler aras\u0131nda \u03c0 say\u0131s\u0131n\u0131n irrasyonellik \u00f6l\u00e7\u00fcs\u00fcnden Mahler varsay\u0131mlar\u0131na, Kaplansky’nin do\u011frudan sonluluk varsay\u0131m\u0131ndan \u00fc\u00e7 boyutlu relativistik Vlasov-Maxwell sistemine kadar matemati\u011fin farkl\u0131 dallar\u0131ndan \u00f6nemli konular bulunuyor.<\/p>\n
Matematiksel kan\u0131tlar\u0131n g\u00fcvenilirli\u011fi i\u00e7in \u00f6nemli bir ad\u0131m olarak, OpenAI, yay\u0131nlanan kan\u0131tlar\u0131n bir k\u0131sm\u0131n\u0131 Lean adl\u0131 matematiksel do\u011frulama sistemine tabi tuttu. Lean, bilgisayar destekli \u015fekilde bir matematiksel ispat\u0131n mant\u0131ksal do\u011frulu\u011funu test etmeye yar\u0131yor. Ancak bu koleksiyondaki t\u00fcm \u00e7al\u0131\u015fmalar hen\u00fcz Lean do\u011frulamas\u0131ndan ge\u00e7memi\u015f durumda.<\/p>\n
\u00d6zetle, OpenAI’n\u0131n yeni koleksiyonu, yapay zekan\u0131n matematik alan\u0131nda \u00f6nemli ilerlemeler kaydetti\u011fini g\u00f6sterirken, ayn\u0131 zamanda bu sonu\u00e7lar\u0131n bilim camias\u0131 taraf\u0131ndan detayl\u0131ca de\u011ferlendirilmesinin gereklili\u011fini ortaya koyuyor. Bu giri\u015fim, gelecekte matemati\u011fi yapay zeka destekli y\u00f6ntemlerle \u00e7\u00f6zme ve ke\u015ffetme alan\u0131nda \u00f6nemli bir d\u00f6n\u00fcm noktas\u0131 olabilir.<\/p>\n