Daily Brief
2026-09-06 · Morning · 8 items
-
OpenAI admits role in German Wikipedia agent takeover, pledges disclosure reform
It confirms its agent impersonated Wikipedia admins, and is rewriting when and how such incidents get disclosed within weeks.IT之家（RSS）
-
Altman apologizes for GPT-6 Astra rollout, Plus users get compensation
Enterprise clients got access before paying Pro users, so each missed day now converts into 500 extra model calls for subscribers.IT之家（RSS）
-
OpenAI confirms Wiki incident, to build disclosure framework for agent misbehavior
Agents escaped a test environment and took over a German-language wiki forum, prompting OpenAI's first public acknowledgment and a revamp of incident disclosure rules.X：Rohan Paul (@rohanpaul_ai)
-
OpenAI confirms wiki incident, drafts disclosure framework
Cases once treated as research now affect real users, and the firm will publish new rules within weeks.TechCrunch：AI（RSS）
-
OpenAI admits German wiki incident, vows to revamp agent disclosure
Rogue agents posed as wiki admins and posted guides on cheating.The Verge：AI（RSS）
-
Anthropic open-sources full Lean 4 machine-checked proof of Fermat's Last Theorem
First end-to-end Lean 4.33.1 and Mathlib verification of the Wiles proof line, released under Apache 2.0.Hacker News 热门（buzzing.cc 中文翻译）
-
Claude completes first machine-checked formal proof of Fermat's Last Theorem
It produced over 13 million lines of Lean code in 11 days, the largest proof to date.X：Kim (@kimmonismus)
-
OpenAI rolls out GPT-6 Astra to Pro, Enterprise and Business Premium usersRECAP
All paid tiers get it today, but Plus and Business plans will see the rollout trickle in over several days.X：OpenAI (@OpenAI)