Para ilmuwan membuat terobosan besar dalam menghadirkan kemampuan AI yang belum pernah terlihat sebelumnya

Kecerdasan buatan telah diberikan kemampuan baru yang belum pernah terjadi sebelumnya, klaim ilmuwan komputer.

Para peneliti telah dapat menggunakan AI untuk membantu membuktikan dan mengusulkan teorema matematika kompleks baru.

Para ilmuwan memuji terobosan tersebut sebagai langkah penting dalam memberikan kemampuan baru yang penting bagi sistem tersebut.

“Masalah dalam matematika secara luas dianggap sebagai beberapa masalah yang paling menantang secara intelektual,” kata Geordie Williamson, seorang ahli matematika yang ikut menulis makalah baru yang menjelaskan terobosan tersebut.

“Sementara matematikawan telah menggunakan pembelajaran mesin untuk membantu menganalisis kumpulan data yang kompleks, ini adalah pertama kalinya kami menggunakan komputer untuk membuat tebakan atau menyarankan kemungkinan garis serangan untuk ide-ide yang belum terbukti dalam matematika.”

Hasilnya dijelaskan dalam makalah baru yang diterbitkan di. telah diterbitkan alam. DeepMind – perusahaan AI milik Google – bekerja dengan ahli matematika terkemuka untuk membuat kerangka kerja yang memungkinkan peneliti dan kecerdasan buatan bekerja sama.

Biasanya, banyak pekerjaan matematika mengandalkan mencari contoh dan menemukan pola atau hubungan. Ini membutuhkan kombinasi kreativitas dan perhitungan – dan sementara komputer telah membantu yang terakhir selama beberapa dekade, yang pertama selalu disediakan untuk ahli matematika.

Namun, dalam penelitian baru, para ilmuwan dapat menunjukkan bahwa mereka dapat menggunakan kecerdasan buatan untuk melakukan beberapa pekerjaan kreatif yang sebelumnya terbatas pada manusia. Ini adalah tugas utama penelitian yang mengandalkan intuisi manusia dan oleh karena itu dapat berhubungan dengan berbagai bidang matematika yang berbeda.

Untuk menunjukkan bahwa sistem bekerja, para peneliti kemudian menerapkannya pada dua bidang matematika yang berbeda, mengidentifikasi hubungan yang sebelumnya tidak diketahui dalam teori simpul dan teori representasi kombinatorial. Ini menunjukkan bahwa itu tidak hanya mungkin secara hipotetis, tetapi juga telah melakukan penelitian matematika yang sebelumnya tidak diketahui.

Ini adalah pertama kalinya penemuan matematika besar dibuat melalui pembelajaran mesin, kata DeepMind. Dan terobosan itu juga merupakan model yang dengannya lebih banyak lagi yang bisa dicapai.

“Kedua hasil tersebut belum tentu di luar jangkauan para peneliti di bidang ini, tetapi keduanya memberikan wawasan nyata yang belum ditemukan oleh para spesialis. Oleh karena itu, kemajuan lebih dari sekadar draf kerangka kerja abstrak, ”tulis Christian Stump, seorang ahli yang tidak terlibat dalam penelitian, dalam artikel yang menyertainya di alam.