New York Üniversitesi'nden matematik profesörü Tristan Buckmaster, Salı günü teorik matematiğin en önemli çözülmemiş problemlerinden biri hakkında ön bulgular içeren üç ispat duyurdu. Anthropic'ten matematikçi Levent Alpöge ile Codex ve Claude yapay zeka modellerini kullanarak gerçekleştirdiği bu çalışma, kendi başına büyük önem taşıyor. Ancak, OpenAI'nin aynı problemi çözme girişimleriyle ilgili sıra dışı bir tartışma da beraberinde geldi.
Bilgilerin OpenAI'ye Sızdırıldığı İddiası
Buckmaster, ispatlarını duyurduğu açıklamasında, "Bu hikayenin başka bir yönü daha var ve dürüst olmak gerekirse, bununla ilgilenmek zorunda kalmayacağımı umardım" ifadesini kullandı. Buckmaster ve Alpöge, sonuçlarını tamamlarken, "ilerlemeleri hakkında bilgilerin OpenAI'ye aktarıldığını" öğrendiklerini belirtti. OpenAI ile iletişime geçtiklerinde, şirketin merkezi problem için tam bir ispat elde ettiği söylendi. Ancak, araştırmaya ne zaman başladıkları ve ne kadar insan müdahalesi olduğu gibi takip soruları sorulduğunda, cevaplar daha kaçamak hale geldi. Buckmaster, "Tam bir ekibin problem üzerinde çalıştığı ve inanılmaz miktarda hesaplama kaynağı kullanıldığı ortaya çıktı... Sonunda, ilk yönlendirmenin, bizim çalışmalarımız hakkındaki bilgilerin OpenAI'ye ulaşmasından sonraki birkaç gün içinde gönderildiği kabul edildi" dedi. Eğer bu doğruysa, OpenAI ekibinin Buckmaster ve Alpöge'nin yaklaşımının doğru olduğuna ikna olduğu ve resmi bir ispatı ilk önce elde etmek için hesaplama kaynaklarındaki maddi avantajını kullandığı anlamına gelebilir. OpenAI'nin matematik araştırmaları lideri Sebastian Bubeck ise bu iddiaları "yanlış ve kışkırtıcı" olarak nitelendirdi.
Milyon Dolarlık Ödüllü Problem ve Rekabet
Bu anlaşmazlık, yedi "Milenyum Ödülü problemi"nden biri olan "Navier-Stokes varlığı ve düzgünlüğü" problemi etrafında yoğunlaşıyor. Bu problemler, Clay Matematik Enstitüsü tarafından çözümü sunan ilk kişi veya gruba 1 milyon dolarlık ödül vadeden önemli matematiksel zorluklardır. Navier-Stokes denklemleri, akışkanlar mekaniğinde yaygın olarak kullanılmaktadır ancak teorik olarak tam olarak anlaşılamamıştır. Bir çözüm, matematiksel fiziğin kolektif anlayışında önemli bir ilerleme anlamına gelecektir. Buckmaster, OpenAI ekibinin kendi yaklaşımlarını benimsemesinin şüpheli olduğunu belirtti. Buckmaster'ın iddiasına göre, OpenAI'den Sebastian Bubeck, Alpöge'nin adının bir uzlaşma teklifinin parçası olarak kaldırılmasını istedi. Buckmaster, bu anlaşmazlığı kamuoyuna duyurmak istediğinde ise Bubeck'in "Kariyerini neden mahvedersin?" şeklinde yanıt verdiğini aktardı. Buckmaster ayrıca, projeyi oluştururken Codex'i yoğun bir şekilde kullandığı için, kendi çalışmalarından elde edilen bilgilerin OpenAI'nin problem çözme çabalarına katkı sağlamış olabileceği endişesini dile getirdi.
