OpenAI ve Anthropic, modellerinin zor mantık bulmacalarını alt-üstel sürede çözen algoritmalar ürettiğini söylüyor; iddia doğrulanırsa bilgisayar biliminin uzun süredir kabul gören bir varsayımı geçersiz kalacak.
OpenAI, matematik, bilgisayar bilimi ve fizikte AI tarafından üretilen yeni sonuçları üç ayrı yolla paylaşıyor; en çok tartışılacak olan, uzun süredir doğru kabul edilen Exponential Time Hypothesis'in yanlış olduğunu öne süren el yazması.
Şirket, akademik ortaklarla birlikte matematik, bilgisayar bilimi ve fizikte üretilen sonuçları paylaşıyor; Üstel Zaman Hipotezi'nin yanlış olduğu iddiası Lean ile doğrulandı.