Model Baru OpenAI, Astra, Menyelesaikan 10 Masalah Matematik Lama

Berdasarkan pemantauan Beating, OpenAI mengumumkan secara rasmi model utama seterusnya, Astra. Versi dalaman mencapai keputusan baharu terhadap 10 masalah matematik dan sains komputer teori yang telah lama tidak terpecahkan. Kesimpulan inti dalam masalah-masalah ini tidak mengalami kemajuan selama sekurang-kurangnya 10 tahun, dengan kebanyakannya terhenti lebih lama lagi. Sebahagian masalah tersebut telah diselesaikan atau dibantah secara langsung. Astra pertama kali membina kumpulan bukan sofic, menjawab satu masalah terbuka utama dalam teori kumpulan; ia juga membantah konjektur rigiditas Connes dan menyelesaikan 3 masalah Erdős. Hasil lain termasuk batas bawah dan atas baharu serta bukti kesukaran berkaitan masalah pengumpulan bola, teori pengkodan, kerumitan kuantum, dan kriptografi pasca-kuantum. OpenAI menyatakan bahawa token yang digunakan model untuk mencapai 10 keputusan ini, apabila dikonversikan mengikut harga Sol API, bernilai sekitar US$2,000. Argumen matematik ini dihasilkan oleh Astra. Manusia kemudian membantu menyusunnya menjadi kertas kerja, sementara model mengonversikan setiap bukti menjadi sijil Lean, membolehkan komputer mengesahkan secara berperingkat sama ada penurunan tersebut sah. OpenAI telah mempublikasikan kertas kerja, sijil bukti, dan proses penalaran model.