page_tag_header_title

OpenAI said on Sept. 8 that an internal model ran about 10,000 agents to resolve the Navier-Stokes problem, a claim two mathematicians dispute. Key Points: An unreleased OpenAI system produced a written proof and a Lean formalization for one of the seven Millennium Prize problems. Tristan Buckmaster

OpenAI's GPT-6 Astra played Valve's Portal from start to finish with no human at the controls, spending $571.18 in tokens across 24 hours. Key Points: GPT-6 Astra cleared every Portal test chamber on its own, with no person touching the controls at any point. The playthrough consumed 3,336 tool call

OpenAI’s Astra appears to expose less visible reasoning, reviving concerns outlined in a 2025 monitorability paper co-authored by chief scientist Jakub Pachocki. Key Points: Astra appears to do less of its reasoning in visible text, raising concerns about whether monitors can detect problematic beha

OpenAI says it has met its September target for an automated research intern capable of completing well-defined research tasks under human direction. Key Points: OpenAI says the system can take on clearly scoped research assignments, including work that might occupy a skilled researcher for several

Nvidia CEO Jensen Huang declared AGI had arrived with OpenAI’s GPT-6 Astra after a 100,000-plus-GPU training run, though OpenAI has not made that claim. Key Points: Huang said Astra trained on more than 100,000 Nvidia Grace Blackwell NVLink72 GPUs and that another 400,000 GPUs are coming online. Ope