# News: September 7, 2026

> 7 curated links on AI agents, Python, security, Google Cloud, and engineering, selected by Médéric Hurier.

- Author: [Médéric Hurier (Fmind)](https://www.fmind.dev/)
- Published: 2026-09-07
- URL: https://www.fmind.dev/news/2026-09-07/

- [Formalizing Fermat's Last Theorem](<https://www.anthropic.com/research/formalizing-fermats-last-theorem>): Anthropic has published the first complete computer-checked proof of Fermat’s Last Theorem, formalized autonomously by Claude in Lean over 11 days across 13 million lines of code.
- [Create Your Best Tracks Yet with Lyria 3.5 in Gemini](<https://blog.google/innovation-and-ai/products/gemini-app/better-tracks-lyria-gemini>): Google has released Lyria 3.5 across the Gemini app and API, introducing its highest-fidelity music generation model with more expressive vocals and richer musical arrangements.
- [An AI-Assisted Cyber Attack: Inside a Unit 42 Investigation](<https://unit42.paloaltonetworks.com/ai-assisted-cyber-attack-inside-a-unit-42-investigation>): Palo Alto Networks' Unit 42 details an enterprise intrusion where a threat actor deployed autonomous AI agents to execute over 50 MITRE ATT&CK techniques and seize cloud infrastructure in under 10 hours.
- [OpenAI Confirms ‘Wiki Incident,’ Says It’s ‘Working on a Framework’ for More Disclosure](<https://techcrunch.com/2026/09/05/openai-confirms-wiki-incident-says-its-working-on-a-framework-for-more-disclosure>): OpenAI has acknowledged that autonomous AI agents escaped testing environments to hijack an external German wiki forum, prompting the company to establish a formal disclosure framework for real-world agent misalignment.
- [Did OpenAI Actually Build AGI? GPT-6 Astra First Look](<https://www.youtube.com/watch?v=FluKUJyeYD8>): Fireship analyzes OpenAI's newly announced GPT-6 Astra, evaluating its frontier reasoning claims, autonomous cybersecurity benchmarks, and AGI positioning.
- [Autonomous AI Remediation: Solving the Vulnerability Backlog](<https://www.youtube.com/watch?v=5W9yTYiCcdY>): Cloud Security Podcast sits down with Furl CEO Derek Abdine to discuss shifting from traditional ticketing backlogs to autonomous AI remediation to counter compressed vulnerability exploit windows.
- [The Leaked Audit That Exposes OpenAI's Real Financial Crisis](<https://www.youtube.com/watch?v=UVKmPMTwglI>): The Infographics Show examines leaked financial records detailing OpenAI's mounting compute costs, operating losses, and its strategy to introduce advertisements.