OpenAI merilis temuan tentang 377 masalah matematika yang mencakup aljabar, teori bilangan, teori komputer teoritis, logika matematika dan topologi, setelah klaim sebelumnya memecahkan persamaan Navier-Stokes, masalah Milenium dengan hadiah 1 juta dolar. Hasilnya menggunakan model AI yang belum dirilis dan canggih, diverifikasi menggunakan sistem Lean, dengan waktu komputasi rata-rata sekitar tiga jam per solusi. OpenAI mengatakan telah merasuk umpan balik dari nelembaga nasihat mandiri yang dipimpin oleh Institute for Advanced Study di Princeton, N.
J., yang meliputi matematik Harvard Melanie Wood. Dewan tersebut mendorong transparansi, meminta rilis prompt AI dan rantai pemikiran, dan mengkritik perusahaan AI untuk menguji model proprietari pada masalah yang belum terpecahkan. Meskipun demikian, OpenAI terus melakukan pengujian internal, dengan research lead Dan Roberts mengatakan membantu membangun alat yang lebih baik.
Matematik NYU Tristan Buckmaster memperingatkan bahwa AI mungkin menggunakan kerja matematikawan sebelumnya untuk menyelesaikan bukti, yang memicu khawatir tentang kredit dan originalitas dalam discovery AI bantu.
Sumber: New York Times Top Stories · Diringkas oleh HeadlinesBriefing