Startup matematika AI baru bernama Axiom dilaporkan telah memecahkan empat masalah matematika lama yang sulit, menunjukkan kemajuan dalam penalaran kecerdasan buatan. AI perusahaan tersebut menangani tantangan di bidang seperti geometri aljabar dan teori bilangan yang membingungkan para matematikawan selama bertahun-tahun. Perkembangan ini menyoroti kemampuan AI yang semakin besar dalam mengatasi teka-teki akademik kompleks.
Dalam pengumuman baru-baru ini, Axiom, sebuah startup yang berfokus pada AI, mengklaim bahwa teknologinya telah menyelesaikan empat masalah matematika yang sebelumnya belum terpecahkan. Ini termasuk isu-isu dalam geometri aljabar, kalkulus, dan teori bilangan, bidang yang telah lama menantang para peneliti. Salah satu contoh spesifik melibatkan pekerjaan lima tahun lalu oleh matematikawan Dawei Chen dan Quentin Gendron. Mereka sedang mengeksplorasi area kompleks geometri aljabar yang menggabungkan diferensial—elemen kalkulus yang digunakan untuk mengukur jarak pada permukaan melengkung. Selama upaya mereka pada teorema tertentu, mereka menghadapi hambatan: bukti mereka bergantung pada rumus teori bilangan yang samar yang tidak dapat mereka pecahkan atau jelaskan. Akibatnya, Chen dan Gendron mempublikasikan temuan mereka sebagai konjektur daripada teorema lengkap. AI Axiom kini telah memberikan solusi untuk konjektur semacam itu, menunjukkan terobosan dalam penalaran otomatis untuk matematika murni. Pencapaian startup ini menunjukkan potensi AI untuk mempercepat penemuan di bidang teoretis, di mana intuisi manusia secara tradisional mendominasi. Namun, para ahli memperingatkan bahwa meskipun menjanjikan, bukti yang dihasilkan AI ini akan memerlukan verifikasi ketat oleh komunitas matematika untuk mengonfirmasi keabsahannya. Peristiwa ini menekankan persimpangan antara kecerdasan buatan dan akademisi, dengan implikasi bagi bagaimana penelitian masa depan mungkin mengintegrasikan bantuan mesin. Diterbitkan pada 4 Februari 2026, berita ini telah memicu minat di laboratorium AI yang mendorong batas-batas dalam disiplin STEM.