OpenAI, matematik alan\u0131nda y\u00fcr\u00fctt\u00fc\u011f\u00fc yapay zek\u00e2 \u00e7al\u0131\u015fmalar\u0131na ili\u015fkin yeni sonu\u00e7lar\u0131 kamuoyuyla payla\u015ft\u0131.<\/p>\n
\u015eirketin 6 Ekim 2026 tarihli a\u00e7\u0131klamas\u0131na g\u00f6re, kurum i\u00e7i bir frontier model taraf\u0131ndan farkl\u0131 matematik alanlar\u0131nda \u00fcretilen geni\u015f bir sonu\u00e7 seti yay\u0131mland\u0131. A\u00e7\u0131klamada, cebir, say\u0131 teorisi, teorik bilgisayar bilimi, matematiksel mant\u0131k ve topoloji gibi alanlar\u0131n da bu \u00e7al\u0131\u015fmalar aras\u0131nda yer ald\u0131\u011f\u0131 belirtildi.<\/p>\n
Yay\u0131mlanan \u00e7al\u0131\u015fmalar\u0131n bir k\u0131sm\u0131 Lean<\/strong> ile bi\u00e7imselle\u015ftirilmi\u015f ve bilgisayar taraf\u0131ndan denetlenebilir ispatlarla destekleniyor. OpenAI ayr\u0131ca makaleleri, destekleyici ispat materyallerini ve baz\u0131 sonu\u00e7lara ili\u015fkin \u00f6zetleri GitHub \u00fczerinden payla\u015fmaya ba\u015flad\u0131.<\/p>\n OpenAI Developer Community\u2019de payla\u015f\u0131lan bilgilere g\u00f6re, yay\u0131mlanan \u00e7al\u0131\u015fma havuzunda yakla\u015f\u0131k 4 bin problemden olu\u015fan bir de\u011ferlendirme s\u00fcrecinin sonu\u00e7lar\u0131<\/strong> yer al\u0131yor. Her sonu\u00e7 i\u00e7in kullan\u0131lan hesaplama miktar\u0131n\u0131n, kurum i\u00e7i modelde ortalama yakla\u015f\u0131k 3 saatlik yo\u011fun d\u00fc\u015f\u00fcnme s\u00fcresine<\/strong> kar\u015f\u0131l\u0131k geldi\u011fi belirtildi.<\/p>\n \u015eirket, sonu\u00e7lar\u0131n bilim d\u00fcnyas\u0131yla daha sa\u011fl\u0131kl\u0131 bi\u00e7imde payla\u015f\u0131lmas\u0131 i\u00e7in Institute for Advanced Study b\u00fcnyesindeki ba\u011f\u0131ms\u0131z Matematik ve Yapay Zek\u00e2 Dan\u0131\u015fma Grubu ile de \u00e7al\u0131\u015f\u0131yor.<\/p>\n Yeni sonu\u00e7lar, OpenAI\u2019\u0131n 8 Eyl\u00fcl 2026\u2019da Navier-Stokes Milenyum \u00d6d\u00fcl\u00fc problemine ili\u015fkin bir \u00e7\u00f6z\u00fcm \u00f6nerisini yay\u0131mlamas\u0131n\u0131n ard\u0131ndan geldi.<\/p>\n OpenAI, s\u00f6z konusu \u00e7al\u0131\u015fmada kurum i\u00e7i bir sistem taraf\u0131ndan \u00fcretilen kan\u0131t\u0131n, ak\u0131\u015fkan hareketini tan\u0131mlayan Navier-Stokes denklemlerinde sonlu zamanda tekillik olu\u015fabilece\u011fini g\u00f6sterdi\u011fini a\u00e7\u0131klam\u0131\u015f ve kan\u0131t\u0131 Lean bi\u00e7imselle\u015ftirmesiyle birlikte payla\u015fm\u0131\u015ft\u0131.<\/p>\n \u015eirket, matematikteki bu ilerlemelerin sorumlu bi\u00e7imde payla\u015f\u0131lmas\u0131 ve bilim insanlar\u0131n\u0131n sonu\u00e7lar\u0131 daha kolay inceleyebilmesi i\u00e7in at\u00f6lye, konferans ve benzeri programlar\u0131 desteklemeyi planl\u0131yor.<\/p>\n","protected":false},"excerpt":{"rendered":" OpenAI, cebirden say\u0131 teorisine, teorik bilgisayar biliminden matematiksel mant\u0131k ve topolojiye kadar farkl\u0131 alanlarda kurum i\u00e7i bir yapay zek\u00e2 modeli taraf\u0131ndan elde edilen y\u00fczlerce yeni matematiksel sonucu yay\u0131mlad\u0131. \u00c7al\u0131\u015fmalar\u0131n \u00f6nemli bir b\u00f6l\u00fcm\u00fc Lean ile do\u011frulanabilir bi\u00e7imde sunulurken, \u015firket gelecekteki sonu\u00e7lar\u0131 da ayn\u0131 veri havuzuna eklemeyi planl\u0131yor.<\/p>\n","protected":false},"author":14,"featured_media":54148,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17],"tags":[16493,11581,6074],"class_list":["post-54147","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-teknoloji","tag-matematik","tag-openai","tag-yapay-zeka"],"yoast_head":"\nHer sonu\u00e7 i\u00e7in ortalama yakla\u015f\u0131k 3 saatlik hesaplama<\/h3>\n
Navier-Stokes \u00e7al\u0131\u015fmas\u0131n\u0131n ard\u0131ndan geldi<\/h3>\n