Artikel Matematika

Pomodo.id - AI telah mengubah cara matematika dijelajahi dan dipahami oleh manusia, menghasilkan hasil yang luar biasa dan menantang bagaimana penelitian matematis dilakukan. Terbaru, OpenAI merilis 377 hasil matematis yang dihasilkan oleh model AI-nya, termasuk penelitian pada masalah yang belum terpecahkan. Rilis ini menyoroti kemampuan AI dalam menyelesaikan masalah kompleks dalam berbagai bidang, seperti aljabar dan teori angka. Proses verifikasi hasil dilakukan menggunakan Lean, sebuah bahasa pemrograman yang memastikan logika yang mendasari hasil tersebut benar.

Pomodo.id - Shing-Tung Yau, seorang pemenang penghargaan Fields yang ternama, meluncurkan Aliansi Laboratorium Yau untuk Matematika dan Kecerdasan Buatan di Beijing, bertujuan untuk mengintegrasikan kecerdasan buatan (AI) dalam penelitian matematika. Dalam upaya ini, ia menekankan bahwa Tiongkok tertinggal dibandingkan dengan Amerika Serikat dalam menggunakan teknologi tersebut untuk memajukan ilmu pengetahuan di bidang yang paling mutakhir. Aliansi ini akan mempertemukan delapan lembaga terkemuka dan menyasar untuk menciptakan jaringan lebih dari 1.000 ilmuwan.