Peneliti China memecahkan konjektur 3D Ghys dengan model AI buatan dalam negeri
Tim yang dipimpin profesor Greater Bay University Xu Disheng, bekerja sama dengan model sains Intern-S2 dari Shanghai AI Laboratory, melaporkan bukti lengkap atas konjektur Ghys 3D, masalah dinamika kompleks yang diajukan Étienne Ghys pada 1995 dan tak terpecahkan selama lebih dari 30 tahun. Tim dari Peking University secara independen melakukan verifikasi mesin formal atas semua teorema inti, menghasilkan ratusan ribu baris kode verifikasi. Makalahnya telah dirilis di platform pracetak dan kode verifikasinya dibuka sepenuhnya, menjadikannya kasus penting kontribusi model AI pada pembuktian matematika besar.
SUMBER
- Hacker News (AI)2026-10-18 20:19