Model Astra Baru OpenAI Menyelesaikan 10 Masalah Matematika dan Ilmu Komputer yang Sudah Lama Ada

iconChainthink
Bagikan
AI summary iconRingkasan
Pada 1 Agustus, OpenAI merilis model Astra terbarunya, yang menyelesaikan 10 masalah matematika dan ilmu komputer yang telah lama belum terpecahkan. Masalah-masalah ini tidak mengalami kemajuan selama lebih dari satu dekade, dengan sebagian besar belum terpecahkan jauh lebih lama lagi. Astra membangun grup non-sofic pertama, membantah konjektur rigiditas Connes, dan menyelesaikan tiga masalah Erdős. Model ini juga memajukan pengepakan bola, teori pengkodean, dan kriptografi pasca-kuantum. Model tersebut menggunakan sekitar $2000 dalam token untuk menghasilkan bukti-bukti, yang kemudian disusun menjadi makalah dengan bantuan manusia dan diverifikasi melalui Lean. Pedagang yang menganalisis level support dan resistance mungkin menemukan peluang investasi jangka panjang dalam inovasi yang didorong oleh AI.

Pesan ChainThink, 1 Agustus, OpenAI secara resmi mengumumkan model unggulan berikutnya, Astra, yang mencapai hasil baru pada 10 masalah matematika dan ilmu komputer teoretis yang belum terpecahkan dalam jangka panjang.

Kesimpulan inti dari masalah-masalah ini belum mengalami kemajuan selama setidaknya 10 tahun, dan sebagian besar telah stagnan lebih lama lagi. Di antaranya, Astra pertama kali membangun grup non-sofic, menjawab salah satu pertanyaan terbuka utama dalam teori grup;

Sekaligus membantah dugaan ketegaran Connes dan menyelesaikan 3 masalah Erdős. Hasil lainnya mencakup batas atas dan bawah baru serta bukti kesulitan untuk masalah terkait penumpukan bola, teori pengkodean, kompleksitas kuantum, dan kriptografi pasca-kuantum.

OpenAI menyatakan bahwa token yang digunakan model untuk menemukan 10 hasil ini setara dengan sekitar $2000 berdasarkan harga Sol API.

Argumen matematis terkait dihasilkan oleh Astra, kemudian disusun menjadi makalah dengan bantuan manusia, dan model mengubah setiap bukti menjadi sertifikat Lean untuk verifikasi komputer terhadap validitas penalaran secara bertahap.

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.