flashtea/
paper

No. 84 · Sunday, 6 September 2026 · 8 stories

AI Research & Models

Claude Produces First Complete, Machine-Checked Proof of Fermat's Last Theorem

Anthropic says dozens of Claude agents working largely autonomously over 11 days on the open Prove2Me platform produced the first end-to-end, computer-verified proof of Fermat's Last Theorem in the Lean 4 proof language, writing about 13 million lines of Lean and proving roughly 29,500 supporting theorems while consuming about six billion output tokens.

why it mattersIt's the last of Freek Wiedijk's famous 100 formalization challenges to fall, arriving far sooner than mathematicians expected — though Anthropic's own repository credits substantial prior work from Imperial College London's FLT project and Mathlib, tempering the fully-autonomous framing.

Anthropic

AI for Software Development2 stories

GPT-6 Astra Tops Terminal-Bench 4.0 via Codex at Half the Cost of the Runner-Up

OpenAI's Codex lead said GPT-6 Astra, launched September 3, finished #1 on the Terminal-Bench 4.0 agentic benchmark when run through the Codex harness, at roughly half the inference cost of the second-place model, as Astra's rollout to all ChatGPT Plus, Pro, and Business users wrapped up ahead of OpenAI's own multi-day estimate.

why it mattersA concrete coding-benchmark result for Codex specifically, distinct from Astra's general-purpose launch.

X (Thibault Sottiaux, OpenAI)

"GitSpawn" Git-Config Flaw Gets Formal CVEs as Patch Gaps Persist

A week after Manifold Security disclosed GitSpawn — malicious repository git configs that run attacker commands in Claude Code, Codex, Cursor, and other coding agents before any trust prompt — GitHub formally assigned CVE-2026-72718 to the flaw in Goose (now patched) and CVE-2026-71963 to Hermes Agent, whose vendor never responded to disclosure attempts; a second attack path in Claude Code, reached via the `claude ultrareview` command, was still unfixed as of Manifold's last retest.

why it mattersShows which of the seven affected agents are actually fixed a week on — and that Claude Code still has an open path.

The Hacker News

AI Research & Models2 stories, lead above

Google DeepMind Ships WeatherNext 3, Cutting Forecast Grids From 25km to 5km

Google DeepMind and Google Research introduced WeatherNext 3, a weather model that ingests real-time satellite data to issue a new global forecast every hour instead of every six, with roughly 5x sharper spatial resolution and up to 50% lower precipitation-forecast error than WeatherNext 2; it now powers forecasts in Search, the Gemini app, and Google Maps.

why it mattersA concrete, independently-evaluated capability jump that ships straight into products billions of people already use.

Google

Dev Tools & Releases2 stories

GitHub CLI's Linux Package Signing Key Expired September 5

The PGP key GitHub has used to sign `gh`'s APT and RPM Linux repositories expired Saturday; systems that picked up the updated keyring GitHub published back in April are unaffected, but anyone who set up the repository earlier, or who uses a custom image or automation path, needs to manually trust the replacement key or package updates will start failing signature verification.

why it mattersA quiet key-rotation deadline that can silently break CI images and `apt upgrade`/`dnf update` on dev machines that missed it.

GitHub Changelog

Astro 7.3 Lets You Run Multiple Preview Servers at Once

Astro 7.3.0 shipped September 3 with an `--ignore-lock` flag for `astro preview` so more than one preview server can run simultaneously, a runtime logger now passed into custom image services and cache providers, and a new `finalize()` helper for Cloudflare custom worker entrypoints.

why it mattersSmall, concrete fixes for anyone testing multiple Astro builds side by side.

Astro Blog

Bitcoin2 stories

Bitcoin ETF Inflows Cool to $175M Friday After Record $731M Thursday Haul

U.S. spot Bitcoin ETFs pulled in $174.6 million on Friday, a sharp slowdown from Thursday's $730.9 million — the largest single-day inflow since mid-January — as BTC's price settled near $79,600-$80,000, still off its recent high above $82,000 after the hot August jobs report revived Fed rate-hike expectations.

why it mattersDemand hasn't dried up, but the pace of buying is normalizing after Thursday's spike.

The Block

On-Chain Data Shows Holders Cashed Out 110,000 BTC in Profits After the August Rally

CryptoQuant on-chain data shows Bitcoin holders realized profits on roughly 110,000 BTC in the weeks following August's rally from under $65,000 to near $80,000, including 23,000 BTC in net realized profit on August 21 alone — the heaviest single-day realization of 2026.

why it mattersConcentrated profit-taking after a sharp rally has historically preceded corrections, though CryptoQuant's own Bull Score still reads above the threshold associated with sustainable bull markets.

CryptoPotato (CryptoQuant data)

Bitcoin · weekly close vs 200-week moving average · log scale · last 8 years Price200-week average
$5,000$10,000$20,000$50,000$100,000 20192020202120222023202420252026 $80,809 $67,358
$5,000$20,000 2020202220242026 $80,809 $67,358

Price is 1.20× the 200-week average. Weekly closes, USD, as of 28 October 2026 · data blockchain.com.