AI memecahkan pilar ilmu komputer berusia 27 tahun, klaim OpenAI dan Anthropic
OpenAI dan Anthropic mengatakan model mereka telah menghasilkan bantahan yang tampak terhadap hipotesis waktu eksponensial, pilar ilmu komputer teoretis yang diusulkan pada 1999, dengan bukti yang diverifikasi secara formal di Lean tetapi belum sepenuhnya dikonfirmasi oleh manusia. Science melaporkan Anthropic menghitung lebih dari 800 makalah yang mengasumsikan hipotesis itu, meskipun dampak praktisnya masih terbatas. Hal ini penting karena mengguncang fondasi teoretis yang sudah lama berdiri dan menunjukkan sistem AI terdepan mencapai perbatasan matematika yang diperdebatkan, bahkan ketika verifikasi masih belum lengkap.
SUMBER
- Hacker News (AI)2026-11-03 17:43