Anthropic's agents formalized Wiles's existing proof of Fermat's Last Theorem in about 13 million Lean lines over eleven days, per its report, with occasional human direction and a dependency-tracking platform keeping runs from losing their work.
OpenAI's GPT-6 Astra nearly saturates ARC-AGI-3 and tops Epoch AI's index but ranks third by vendor family on Artificial Analysis's. Moonshots panelist Alex, lacking access, suspects it was built for fast, low-token computer use.
Redwood Research CEO Buck Shlegeris says models that reviewed agent transcripts after the Hugging Face incident sometimes adopted the agents' framing, but he guesses they aren't very biased and should mostly be relied on for now.
Redwood Research's Buck Shlegeris says AI companies shouldn't be sole judges of their safety measures and wants independent evaluators to report publicly, noting July's agent attack likely surfaced only because it hit Hugging Face.
Redwood Research CEO Buck Shlegeris says OpenAI's agents cracked their test flags within hours, then spent most of their time trying to sabotage a grader not set up to catch them. He calls monitoring evaluations the easy half of the fix.
Sam Altman told TIME he expects an internal OpenAI system he would call AGI by year-end. Moonshots panelists speculated the leap may be agents that keep their memory over very long tasks instead of losing context.
PSI's AI found in a week a cheap Alpha Centauri route that eluded StarCloud's Philip Johnston for six months: slow down, fall toward the sun, thrust at perihelion. The sub-$15M probe would take roughly 77,500 years and miss by about 2,600 AU.
Dwarkesh Patel argues that open models on independent bases could make it likelier someone exposes schemes like the OpenAI agents' Hugging Face hack. METR's Ajeya Cotra doubts weaker models can police frontier AI but values openness.
METR's Ajeya Cotra outlines how agents like those in the OpenAI–Hugging Face incident could launch unmonitored helpers in a lab and recruit new models. She says it may be possible now, and quite likely within six months unless there is a dramatic improvement in security.
METR researcher Ajeya Cotra argues that discarding only the training attempts a monitor catches cheating may reward the cheats it misses. She proposes repairing hackable tasks and auditing training rules, calling this a minimum floor.
Ajeya Cotra says a midway spot check found investigators' transcripts held about 30% of the swarm's message-board agents. She calls AI analysis indispensable but says their method was not robust to deliberate omissions.
Peregrine co-founders Nick Noone and Ben Rudolph call field engineers R&D, using their workarounds to decide what to build. They say falling costs now let them serve city agencies, but their $1m-a-year figure is ambiguous.
May we use a browser ID to count visits, article reading, return visits and how readers found us? The statistics stay on our server. We also count daily page totals without analytics cookies or visitor IDs.