Sepuluh Masalah, Sawetara mbukak nganti pirang-pirang dekade
Tanggal 1 Agustus 2026, OpenAI nerbitake kiriman riset kanthi irah-irahan "Sepuluh kemajuan ing matematika lan ilmu komputer teoretis," kanthi rinci babagan solusi sing diasilake sistem Astra. Miturut the-decoder, perusahaan kasebut nggunakake woro-woro kasebut kanggo ngenalake Astra minangka model utama sabanjure. Startup Fortune nglapurake yen sepuluh masalah sadurunge ora bisa ditanggulangi, lan salah sawijining asil sing paling penting yaiku disproof Connes 'Rigidity Conjecture - masalah karo akar jero ing aljabar operator lan teori grup.
Sawetara masalah diangkah wis ngadeg mbukak kanggo luwih saka dasawarsa, lan siji stopkontak, 36Kr , ditondoi sawetara minangka "Fields Medal-tingkat" ing kangelan. Skala klaim kasebut narik kawigatosan amarga asil matematika, ora kaya pirang-pirang pathokan AI, kanthi prinsip bisa dipriksa kanthi ketat. OpenAI dilaporake nggawe karya kasebut kasedhiya liwat alat verifikasi resmi lan gudang umum, ngidini para ahli matematika independen nliti bukti kasebut tinimbang ngetrapake iman.
A ~$2.000 Tagihan Komputasi
Salah sawijining rincian sing paling nggumunake yaiku biaya. Startup Fortune lan XenoSpectrum loro-lorone nglaporake manawa model kasebut ngrampungake sepuluh masalah sing mbukak kira-kira $2,000 ing komputasi — bagian sekedhik saka biaya latihan skala perbatasan. Angka kasebut, yen akurat, nandheske nganti tekan efisiensi penalaran wektu inferensi: bagean sing larang saka AI modern tambah akeh latihan, dudu pemecahan masalah saben.
Asil dibangun saka karya OpenAI dibeberke sadurungé ing 2026, nalika model pertimbangan internal mbantah konjektur jarak unit planar , masalah ditimbulake dening matématikawan Paul Erdős ing taun 1946. Asil sadurungé ndemek téori angka aljabar, kalebu menara lapangan kelas tanpa wates lan teori Golod–Shafarevich. Pengumuman Astra ngluwihi garis riset kasebut dadi pirang-pirang pitakonan sing mbukak.
Dituduhake menyang Senator ing Washington
Wektu mbukak kasebut disengaja. Informasi kacarita sacara eksklusif yen OpenAI pratinjau model Astra ing Washington, D.C., lan Yellow.com nyathet yen demonstrasi kasebut teka "dina sadurunge kerangka review 30 dina" - referensi kanggo pengawasan peraturan sing saya tambah akeh sistem AI anyar sing kuat. CEO Sam Altman menehi katrangan pribadi marang para senator AS babagan model kasebut, miturut Startup Fortune.
Pratinjau Washington penting amarga posisi Astra ora mung minangka tonggak teknis nanging minangka politik. Kanthi ahli parlemen debat babagan carane ngatur model perbatasan sawise kedadeyan cybersecurity anyar - kalebu agen AI sing lolos saka kothak wedhi sajrone tes - OpenAI nggawe kasus manawa sistem paling maju bisa kuat lan cukup aman kanggo dituduhake karo regulator sadurunge diluncurake umum.
Apa Iki GPT-6?
OpenAI durung resmi ngonfirmasi yen Astra bakal diluncurake minangka GPT-6, nanging Startup Fortune nglaporake manawa perusahaan kasebut "nimbang ngirim minangka GPT-6." The News International nggambarake Astra minangka peluncuran "seri model anyar," nalika KuCoin ditondoi minangka model "kanggo tugas-tugas jangka panjang" - nyaranake emphasis ing panalaran agenik sing terus-terusan tinimbang jawaban siji-sijine kanthi cepet.
Framing kasebut selaras karo poros industri menyang sing diarani agen long-horizon: sistem sing dirancang kanggo ngatasi masalah sing angel sajrone wektu sing suwe, nggunakake alat lan verifikasi tinimbang mangsuli ing siji pass. Asil matematika, nyatane, minangka demonstrasi manawa pendekatan iki bisa ngasilake kawruh anyar.
Apa Tegese kanggo Riset AI
Asil Astra ndharat ing tengah-tengah debat sengit babagan apa alasan AI pancen bener utawa mung ngyakinake. Yen bukti kasebut tahan kanggo verifikasi resmi lan review peer, bakal nuduhake langkah sing migunani ngluwihi pencocokan pola - sing nuduhake sistem kasebut bisa menehi kontribusi kanggo matématika minangka disiplin riset, ora mung niru.
Skeptics ngati-ati yen karya isih mbutuhake validasi independen, lan "ngrampungake" masalah ing pangertèn formal beda saka pangerten matématikawan manungsa kok asil bener. Nanging kombinasi biaya komputasi sing murah, verifikasi resmi, lan rilis umum menehi alat komunitas sing luwih akeh kanggo mriksa klaim OpenAI.
Nganti saiki, Astra isih durung dirilis kanggo umum. Sing jelas yaiku OpenAI nganggep matematika minangka bukti anyar kanggo AI perbatasan - lan ngajak regulator, uga peneliti, kanggo nonton kanthi rapet.
Tetep Ahead saka AI
Batesan riset AI maju kanthi cepet, kanthi terobosan anyar saben minggu. Tindakake saben kemajuan utama liwat [jangkoan industri AI] (https://aibuzzwire.news).
Waca liyane AI warta →
