OpenAI telah mengungkapkan Astra, sebuah model yang belum dirilis yang dirancang untuk menangani tugas-tugas kompleks dan memakan waktu lama, setelah versi internalnya menghasilkan sepuluh kemajuan signifikan dalam matematika dan ilmu komputer teoretis.

Dalam sebuah unggahan penelitian baru, OpenAI menggambarkan Astra sebagai "model utama kami berikutnya" dan mengatakan bahwa permasalahan tersebut belum menunjukkan kemajuan pada hasil utamanya selama setidaknya satu dekade, dan dalam banyak kasus, jauh lebih lama.

Menurut OpenAI, penelitian internalnya berfokus pada berbagai bidang, termasuk geometri berdimensi tinggi, teori pengkodean, kompleksitas sirkuit aritmatika, teori grup, kompleksitas kuantum, kriptografi kisi, dan kombinatorika ekstrem.

OpenAI juga menyatakan bahwa mereka mengalami kemajuan pesat dalam bidang sains.

Beberapa contohnya meliputi keberadaan kelompok non-sofic, pembuktian ketidakbenaran dugaan kekakuan Connes, batasan baru untuk pengemasan bola berdimensi tinggi, dan hasil yang menyelesaikan beberapa masalah yang diajukan oleh matematikawan Paul Erdős.

"Jumlah total token yang dibutuhkan untuk menemukan solusi atas masalah-masalah ini akan menelan biaya sekitar $2.000 dengan tarif API Sol," catat OpenAI .

Para peneliti manusia menggunakan model yang sama untuk menyusun argumen seperti halnya manuskrip.

Astra kemudian memformalkan setiap argumen sebagai sertifikat Lean, yang memungkinkan bukti-bukti tersebut diperiksa menggunakan sistem verifikasi matematis.

Astra bisa diluncurkan dengan GPT-5.7 atau GPT-6.

Sumber informasi tersebut  juga secara independen mengkonfirmasi bahwa OpenAI memang sedang mengerjakan Astra, sebuah keluarga model baru yang dibangun untuk beban kerja jangka panjang.

Menurut OpenAI, Astra adalah model yang ampuh yang memungkinkan agen AI untuk berkolaborasi pada bagian-bagian berbeda dari masalah yang lebih besar.

BleepingComputer memahami bahwa OpenAI dilaporkan belum memutuskan apakah model tersebut akan dirilis sebagai GPT-5.7, GPT-6, atau dengan nama lain.

Pada titik ini, kita tahu bahwa Astra memenuhi syarat sebagai model AI terobosan besar, dan dapat dikenakan kebijakan seperti Anthropic di mana satu versi dirilis ke konsumen, sementara varian yang lebih canggih memerlukan persetujuan khusus.

Uji setiap lapisan sebelum penyerang melakukannya.

Tim keamanan mencatat 54% serangan yang berhasil dan hanya memberikan peringatan pada 14%. Sisanya lolos dari lingkungan Anda tanpa terdeteksi.

Whitepaper Picus menunjukkan bagaimana simulasi pelanggaran dan serangan menguji aturan SIEM dan EDR Anda sehingga ancaman tidak lagi lolos dari deteksi.