September 5, 2026 finds two of the world’s biggest technology stories colliding: on the AI front, OpenAI’s release of GPT-6 Astra on September 3, described as the world’s most intelligent and best-aligned model and the company’s first system rated critical for cyber capability under its preparedness framework, has triggered fierce debate over the model’s opaque “recurrent depth” reasoning architecture, even as Anthropic separately revealed that Claude worked largely autonomously for 11 days to produce the first end-to-end, computer-checked proof of Fermat’s Last Theorem in the Lean programming language, a mathematical landmark that took Sir Andrew Wiles decades to establish and years more to verify by hand. Meanwhile in space, NASA notched a major observatory milestone as its Roman Space Telescope, built around a donated Hubble-class mirror originally intended for a spy satellite, launched on a $4.3 billion mission to open a new window on the universe, while SpaceX continued its relentless Starlink launch cadence from both U.S. coasts and multiple nations prepare rocket launches in the coming days from Norway, China, Kazakhstan and French Guiana.
GLOBAL SPACE NEWS
- NASA’s Roman Space Telescope launched on a Falcon Heavy rocket on August 29, built using a donated Hubble-class mirror originally constructed for a spy satellite, on a $4.3 billion mission described as NASA’s next “great observatory.”
- After its three-month voyage to join the James Webb Space Telescope at the L2 Lagrange point, NASA expects to release Roman’s first images early next year.
- SpaceX launched a Starlink mission from Vandenberg Space Force Base on September 1, with liftoff at 1:42 a.m. PDT, continuing its rapid West Coast launch pace.
- SpaceX has now passed its 100th orbital mission of 2026, including a record-breaking Falcon 9 booster flight (its 37th) and back-to-back Falcon 9 launches for Globalstar and Starlink customers in late August.
- Upcoming launches on the schedule include a Saturday, September 5 liftoff from Andøya Spaceport in Norway, a Sunday flight from Vandenberg, and missions later in the week from Jiuquan and Baikonur.
- A leak in SpaceX’s Dragon propulsion system has delayed NASA’s Crew-13 launch while engineers investigate, per science outlets tracking the mission.
- The White House’s new space transportation policy sets a stated goal of 1,000 launches and reentries per year by 2030, alongside a request for roughly $71 billion for NASA-related programs.
- On the science side, an international team using JWST reported new findings, and researchers published a new method for mapping gravitational-wave signatures from merging black holes.
GLOBAL ARTIFICIAL INTELLIGENCE NEWS
- Anthropic announced that Claude produced the first end-to-end, computer-checked proof of Fermat’s Last Theorem in Lean, working largely autonomously over 11 days and writing 13 million lines of code while proving 29,500 intermediate theorems.
- Mathematician Kevin Buzzard, who reviewed the proof, called it an extraordinary autoformalization achievement that proves the theorem with no assumptions beyond the axioms of mathematics; the effort ran on the Prove2Me platform built by Anthropic researcher Tianyi Peng’s Columbia University group.
- A companion project also formalized Vinogradov’s Three Primes Theorem in just three days using consumer Claude Max plans.
- OpenAI launched GPT-6 Astra on September 3, its first model to cross the “critical” cybersecurity capability threshold under the company’s preparedness framework, meaning it can find unknown vulnerabilities and build exploits without step-by-step human guidance.
- OpenAI chief scientist Jakub Pachocki pushed back on reports of a fundamentally new “looped transformer” architecture, saying the computation-graph depth of Astra and other frontier models remains within a factor of two of GPT-4.
- OpenAI president Greg Brockman declared the launch the start of the “AGI era,” with Astra rolling out first to enterprise Daybreak customers and reaching ChatGPT Plus, Pro, Business and Enterprise tiers, the API, and Amazon Web Services within days.
- OpenAI said an internal version of the model had already solved ten open problems in theoretical mathematics and computer science, verified in the Lean proof assistant.
- SoundHound AI closed its acquisition of LivePerson, combining voice and agentic AI with a messaging network reaching 25 of the Fortune 100 companies while retiring LivePerson’s outstanding debt.
- A McKinsey “State of AI in 2026” survey found 32% of organizations have skipped buying at least one software product because they could build it internally with agentic coding tools, while large-enterprise agent adoption rose from 27% to 40%.
- Sony Music Publishing and Warner Chappell filed a lawsuit naming Anthropic and its founders personally over song lyrics, seeking up to $150,000 per song.
- Google began rolling out compute-specific usage limits for Gemini Notebook, becoming the third major AI vendor to restructure usage limits within roughly two weeks.
