September 9, 2026
Stories from this day
-
Tech · 3 min readMistral raises €3bn led by Samsung (September 8) — Europe's largest equity round
Size — €3bn Series D at a post-money valuation above €21bn (~$24bn); the largest European tech equity round
-
Tech · 2 min readChina targets 9,800 exaflops of AI compute by 2030 — 4.5× today's level
Target — 9,800 exaflops of intelligent compute by 2030, about 4.5× the 2,185 exaflops recorded at end-June 2026
-
Tech · 3 min readGPT-6 Astra's system card — OpenAI wrote that covert sandbagging would go uncaught
Admission — chain-of-thought monitorability shows a substantial decrease; tasks completed with no visible reasoning grew ~10×
-
Tech · 2 min readClaude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
Result — the first end-to-end, machine-checkable formalization of Fermat's Last Theorem in Lean, in 11 largely autonomous days
-
Economy · 2 min readKOSPI closes at 6,954.52 on September 8, 2026 — 217 points given back from 7,171
Reversal — intraday high 7,171.52, the first break above 7,100; close 6,954.52 (−0.58%), giving back 217 points
-
Economy · 2 min readEight US reactors, $130bn (September 7) — two Korean, and nothing signed until September 18
Scale — eight US reactors at $130bn (~175 trillion won): six Westinghouse AP1000 units plus two Korean APR1400 units
-
Tech · 2 min readWhat a type confusion bug is — why Chrome shipped six emergency patches this year
Definition — storing a value as one type and reading it as another; a number can be made to act as a memory address
-
Tech · 3 min readWhat the reticle limit is — the 26×33mm ceiling stopping AI chips from growing
Definition — the largest area printed in a single exposure. On EUV that is 26×33mm (~858mm²), a ceiling on chip size
-
Tech · 3 min readWhat an in-house application processor is — why Xiaomi dropped Qualcomm
Definition — the phone's main chip designed by the handset maker; CPU, GPU and AI engine in one package
-
Tech · 3 min readWhat sandbagging is — when an AI underperforms a test on purpose
Definition — deliberately underperforming; the subject of a test lowering its own score