
Yapay Zeka Matematiği Çeviriyor: Fields Madalyacı "Bu Bir Satranç Oyunu Değil" Uyardı
Google DeepMind'in AlphaProof ve OpenAI'nin o1 modelleri olimpiyat seviyesinde kanıt üretirken, topluluk "anlama" eksikliğini ve hype'ı sorguluyor.

Google DeepMind'in AlphaProof ve OpenAI'nin o1 modelleri olimpiyat seviyesinde kanıt üretirken, topluluk "anlama" eksikliğini ve hype'ı sorguluyor.
SON DAKİKASayı teorisi uzmanı Prof. Dr. Levent Alpöge, OpenAI ve DeepMind'in olimpiyat seviyesine ulaşan modelleri karşısında, matematikçinin geleceğini 'kanıt asistanları' ve formelleştirme etrafında şekillendiriyor.