Matematikawan memuji terobosan dalam menggunakan AI untuk menyarankan teorema baru |  Berita Sains & Teknologi
Technology

Matematikawan memuji terobosan dalam menggunakan AI untuk menyarankan teorema baru | Berita Sains & Teknologi

Para ilmuwan untuk pertama kalinya menggunakan kecerdasan buatan untuk menyarankan dan membuktikan teorema matematika baru.

Terobosan potensial datang dalam kolaborasi antara matematikawan yang berspesialisasi dalam matematika murni di universitas Oxford dan Sydney, bersama DeepMind milik Google.

Pekerjaan mereka meneliti teori simpul dan teori representasi, bidang “matematika murni” yang biasanya bergantung pada intuisi manusia untuk terobosan.

DeepMind telah berulang kali mampu memecahkan masalah yang memerlukan analisis sejumlah besar data dan komputasi, seperti mempelajari cara bermain game komputer lebih baik daripada yang bisa dilakukan manusia, atau mencari tahu bagaimana protein dapat dilipat.

Sekarang, dalam sebuah makalah yang diterbitkan di jurnal Nature, para peneliti telah menjelaskan bagaimana DeepMind juga mampu mengungkap pola dan koneksi di bidang matematika lanjutan dari teori simpul dan teori representasi.

Matematikawan di Universitas Oxford menggunakan AI untuk menemukan hubungan yang mengejutkan antara simpul invarian aljabar dan geometris, membangun teorema yang sama sekali baru di lapangan.

Profesor Andras Juhasz, dari institut matematika Oxford, mengatakan: “Para matematikawan murni bekerja dengan merumuskan dugaan dan membuktikannya, menghasilkan teorema. Tapi dari mana dugaan itu berasal?

“Kami telah menunjukkan bahwa, ketika dipandu oleh intuisi matematika, pembelajaran mesin menyediakan kerangka kerja yang kuat yang dapat mengungkap dugaan menarik dan dapat dibuktikan di area di mana sejumlah besar data tersedia, atau di mana objek terlalu besar untuk dipelajari dengan metode klasik.”

Rekannya Profesor Marc Lackey menambahkan bahwa dia terpesona melihat bagaimana pembelajaran mesin DeepMind membantu mereka mengembangkan “hubungan baru dan tak terduga antara berbagai bidang matematika”.

Profesor Geordie Williamson dan rekan-rekannya di University of Sydney dapat menggunakan koneksi yang diusulkan oleh AI untuk membawa mereka lebih dekat untuk membuktikan dugaan yang belum terpecahkan selama 40 tahun.

Prof Williamson berkata: “Masalah dalam matematika secara luas dianggap sebagai beberapa masalah yang paling menantang secara intelektual di luar sana.

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

“Intuisi dapat membawa kita jauh, tetapi AI dapat membantu kita menemukan koneksi yang mungkin tidak selalu mudah dikenali oleh pikiran manusia,” tambah profesor itu.

Posted By : result hk