AI Membuktikan Kuasi-Hipotesis Riemann. Apa yang Terjadi Selanjutnya?
Quanta melaporkan bahwa model OpenAI menghasilkan bukti kuasi-hipotesis Riemann, versi yang lebih lemah dari hipotesis Riemann, dengan satu versi terverifikasi formal di Lean. Para ahli teori bilangan yang mempelajari bukti tersebut umumnya sepakat bahwa hasilnya benar dan menyebutnya pencapaian AI-untuk-matematika paling signifikan sejauh ini. Hasil ini tidak menyelesaikan hipotesis Riemann secara penuh, tetapi menunjukkan AI dapat mensintesis ide-ide yang ada untuk memecahkan masalah yang dianggap di luar jangkauan para ahli.
SUMBER
- Hacker News (AI)2026-10-19 17:09