source avatarDavid Arnal

Bagikan

Astra dari OpenAI baru saja menyelesaikan 10 masalah matematika yang telah bertahan lama. Model multi-agent baru ini menyelesaikan serangkaian masalah matematika terbuka yang sulit yang belum terbukti selama puluhan tahun—kemudian memformalkan buktinya dalam Lean. Sam Altman memperkenalkan Astra di Washington minggu ini. Model ini akan menjadi yang pertama melalui proses persetujuan pemerintah baru sebelum dirilis. Detail paling mencolok: menyelesaikan semua 10 masalah hanya membutuhkan kurang dari $2.000 dalam nilai token berdasarkan harga Sol. OpenAI juga telah mencoba masalah-masalah sulit lainnya, sebagian masih belum terpecahkan—tetapi potensi penskalaannya sangat besar. Apakah ini menandai era baru untuk penemuan matematika yang dibantu AI?

No.0 picture
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini. Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.