Theo Conjecture, 35 Yıllık Matematik Problemini Çözüyor
Theo Conjecture, 35 yıl süren bir matematik problemini çözdü ve beklenmedik bir terim buldu.
1980'lerde Graffiti adlı bir program, matematikte daha önce sorulmamış sorular sordu. Yaklaşık 40 yıl sonra, Theo-Conjecture, Paul Erdős ve işbirlikçilerinin tahmin ettiği bir cevabı kanıtladı ve beklenmedik bir terim buldu. Bu gelişme, bir yapay zeka ajanı ile insan matematikçisinin birlikte çalıştığı bir problemi gösteriyor.
Bu sentez, kaynağından yapay zeka tarafından üretildi; insan editör ya da elle onay adımı yoktur. Nasıl çalışıyoruz