Menurut pemantauan Beating, OpenAI secara resmi mengumumkan model unggulan berikutnya, Astra, untuk pertama kalinya. Versi internalnya mencapai hasil baru pada 10 masalah matematika dan ilmu komputer teoretis yang belum terpecahkan dalam jangka panjang. Kesimpulan inti dari masalah-masalah ini tidak mengalami kemajuan selama setidaknya 10 tahun, dan sebagian besar telah stagnan lebih lama lagi. Beberapa masalah tersebut langsung diselesaikan atau dibantah. Astra pertama kali membangun grup non-sofic, menjawab salah satu pertanyaan terbuka utama dalam teori grup; ia juga membantah dugaan rigiditas Connes dan menyelesaikan 3 masalah Erdős. Hasil lainnya mencakup batas atas dan bawah baru serta bukti kesulitan terkait masalah pengemasan bola, teori pengkodean, kompleksitas kuantum, dan kriptografi pasca-kuantum. OpenAI menyatakan bahwa jumlah token yang digunakan model untuk menemukan 10 hasil ini, jika dikonversi berdasarkan harga Sol API, sekitar $2.000. Argumen matematis ini dihasilkan oleh Astra. Manusia kemudian membantu menyusunnya menjadi paper, sementara model mengonversi setiap bukti menjadi sertifikat Lean, memungkinkan komputer memverifikasi secara bertahap apakah penalarannya valid. OpenAI telah mempublikasikan paper, sertifikat bukti, dan proses penalaran model.
Model Baru OpenAI, Astra, Menyelesaikan 10 Masalah Matematika yang Sudah Lama Belum Terpecahkan
MarsBitBagikan
Ringkasan
OpenAI telah meluncurkan model baru, Astra, yang menyelesaikan 10 masalah matematika dan ilmu komputer teoretis yang telah lama belum terpecahkan. Masalah-masalah ini tidak mengalami kemajuan selama lebih dari 10 tahun, dengan banyak di antaranya bertahan selama puluhan tahun. Astra menyelesaikan atau membantah tantangan-tantangan utama, termasuk membangun grup non-sofic pertama dan membantah dugaan rigiditas Connes. Hasil lainnya mencakup kemajuan dalam pengepakan bola dan kriptografi pasca-kuantum. OpenAI menggunakan sekitar $2.000 dalam token melalui Sol API. Manusia mengorganisir bukti-bukti menjadi makalah, yang kemudian diubah menjadi sertifikat Lean untuk verifikasi. OpenAI telah membuat semua materi tersebut tersedia secara publik. Untuk investasi jangka panjang dalam kripto, memahami titik-titik dukungan dan resistensi ini dalam pengembangan AI dapat membentuk pergerakan pasar di masa depan.
Sumber:Tampilkan versi asli
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.