Grok 4.5 Membantu Membantah Hipotesis Matematika yang Tak Terpecahkan Selama Sekitar 30 Tahun
xAI
Model Grok 4.5 dari xAI membantu membantah hipotesis matematika yang telah lama berdiri dan belum terpecahkan selama sekitar tiga dekade. Kolaborasi ini menyoroti kegunaan kecerdasan buatan (AI) tingkat lanjut dalam penelitian matematika.
Menurut sebuah laporan, Grok 4.5, model yang dikembangkan oleh xAI, berperan dalam menyanggah sebuah hipotesis matematika yang belum terpecahkan selama sekitar 30 tahun. Prestasi ini menegaskan potensi AI dalam membantu memecahkan masalah matematika yang kompleks, menandai tonggak penting dalam persimpangan kecerdasan buatan dan matematika.
Sumber: xAI Grok (GNews) —
asli
