source avatarDavid Arnal

Kongsi

Astra dari OpenAI baru saja menyelesaikan 10 masalah matematik yang telah bertahan lama. Model multi-agennya yang baru menyelesaikan satu set masalah matematik terbuka yang sukar dan masih belum dibuktikan selama berpuluh-puluh tahun—kemudian merumuskan bukti-bukti tersebut dalam Lean. Sam Altman memperkenalkan Astra di Washington minggu ini. Ia dijadwalkan menjadi model pertama yang melalui proses persetujuan kerajaan baru sebelum dilancarkan. Butiran yang paling menarik: menyelesaikan kesemua 10 masalah menggunakan kurang daripada $2,000 worth of tokens mengikut harga Sol. OpenAI juga telah mencuba masalah-masalah sukar lain, sebahagiannya masih belum diselesaikan—tetapi potensi penskalaannya sangat besar. Adakah ini menandakan era baharu untuk penemuan matematik yang dibantu AI?

No.0 picture
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini. Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.