Yapay zeka alanında faaliyet gösteren OpenAI, yakın zamanda matematiğin en zorlu ve en ünlü açık problemlerinden biri olan Milenyum Ödülü Problemleri'nden birini çözdüğünü açıkladı. Bu duyuru, matematikçiler arasında hem büyük heyecan hem de ciddi bir sorgulama dalgası yarattı.
Milenyum Problemleri, Clay Matematik Enstitüsü tarafından 2000 yılında kamuoyuna sunulan yedi temel matematik sorusundan oluşuyor. Her bir problemin çözümü için 1 milyon dolarlık ödül konulmuş olup bu soruların yalnızca biri, Poincaré Sanısı, bugüne kadar çözülebildi. Geri kalan altı problem onlarca yıldır dünyanın en parlak matematiksel zihinlerini zorlayan açık sorular olarak kalmaya devam ediyor.
OpenAI'nin açıklamasının ardından matematikçiler, ortaya konulan kanıtı titizlikle incelemeye başladı. Bu tür iddiaların bilim dünyasında kabul görebilmesi için bağımsız uzmanların çözümü adım adım doğrulaması gerekiyor; bu süreç bazen aylarca hatta yıllarca sürebiliyor.
Yapay zekanın bu başarıyı nasıl elde ettiği de merak konusu. Büyük dil modelleri sembolik akıl yürütme ve formal ispat üretme konusunda son yıllarda kayda değer gelişmeler gösterdi. Ancak bir yapay zekanın gerçekten özgün matematiksel düşünce üretip üretemeyeceği ya da mevcut bilgiyi yeniden düzenleyip düzenleyemediği tartışması hâlâ sürmektedir.
Uzmanlar, sonucun doğrulanması durumunda bunun yalnızca matematik için değil, yapay zekanın bilimsel keşifteki rolünü yeniden tanımlamak açısından da çığır açıcı olabileceğini vurguluyor. Öte yandan bazı matematikçiler, yapay zeka sistemlerinin ürettiği ispatların insan tarafından denetlenmesinin ne denli karmaşık ve zaman alıcı olduğuna dikkat çekerek temkinli bir tutum sergiliyor.
Süreç, matematikle yapay zekanın kesişim noktasında tarihi bir anın eşiğinde mi olduğumuzu yoksa erken bir iyimserlik mi yaşandığını yakın gelecekte netleştirecek.