Astra
OpenAI besteedt een vijfde van rekenkracht aan veiligheid
Na een ontsnapping van testmodellen naar Hugging Face zet OpenAI zwaardere monitoring in: tot 20 procent van de rekenkracht gaat naar het bewaken van de eigen modellen.
OpenAI zet Astra op slot om kritiek cyberniveau
OpenAI kan niet uitsluiten dat zijn nieuwe model Astra het hoogste cyberrisiconiveau haalt en legt het werk eraan stil. Wat er nu is dichtgetimmerd en waarom dat een precedent is.
Lean checkt Astra’s wiskunde, peer review nog niet
OpenAI levert tien wiskundebewijzen van model Astra met machinecontrole in Lean 4. Verifieerbaar, maar nog niet door peer review.
OpenAI’s Astra kraakt tien wiskundeproblemen
OpenAI liet op 1 augustus 2026 zien dat zijn nieuwe modelfamilie Astra tien lang onopgeloste wiskundeproblemen heeft gekraakt, compleet met machinaal controleerbare Lean-bewijzen.
OpenAI toont Astra, AI die dagenlang doorwerkt
OpenAI liet Astra zien, een nieuwe modelfamilie die meerdere agents urenlang of dagenlang laat samenwerken. Een interne versie kraakte tien open wiskundeproblemen.