Mensahe ng ChainThink, Agosto 1, unang opisyal na inilabas ni OpenAI ang kanilang susunod na pangunahing modelo na Astra, na nakamit ng mga bagong resulta sa loob ng bersyon sa 10 matagal nang hindi nalulutas na problema sa matematika at teoretikal na computer science.
Ang pangunahing konklusyon sa mga tanong na ito ay walang progreso sa loob ng kahit anong 10 taon, at ang karamihan ay naka-stagnant nang higit pa. Sa kanilang pagkakasunod-sunod, unang nilikha ni Astra ang non-sofic group, na sumagot sa isang pangunahing bukas na tanong sa teorya ng grupo;
Sabay na ibinagsak ang Connes rigidity conjecture at lutasin ang 3 mga problema ni Erdős. Ang iba pang mga resulta ay tumatalakay sa mga bagong upper at lower bounds at mga patunay ng kahirapan sa mga isyu na may kaugnayan sa packing ng spheres, coding theory, quantum complexity, at post-quantum cryptography.
Sinabi ng OpenAI na ang halaga ng mga token na ginamit ng modelo upang makahanap ng 10 resultang ito, ay katumbas ng halos $2,000 batay sa presyo ng Sol API.
Ang mga kaugnay na matematikal na pagsusuri ay nilikha ng Astra, at tinulungan ng tao upang maayos bilang isang papel, samantala ang modelo ay isinaproseso ang bawat patunay bilang Lean sertipiko para sa pagpapatunay ng pagkakasunod-sunod ng pagdeducto ng kompyuter.