New public repo openai/math: 722 manuscripts in 372 result families, from an internal frontier model OpenAI hasn’t released (Apache-2.0). Released ~00:00 CEST.
OpenAI says the model was posed ~4,000 problems; the average accepted result used about three hours of ChatGPT Pro-equivalent thinking. Many, not all, proofs are formalised in Lean.
Claimed results include the four-dimensional Kakeya conjecture, a Riemann zeta zero-free region (Re(s) > 11/12) and the Hodge conjecture for CM abelian varieties; 10 families come with abridged reasoning summaries.
Why it matters —Hundreds of machine-made results at once, from a model nobody outside can run, push the question of who checks and gets credit for AI mathematics from theory to practice.
Explosions in Kyiv from ~02:15 CEST with a second missile wave two hours later; two people were found dead after a fire at a garage cooperative in Darnytskyi district.
Hits in Obolon (non-residential site) and Podil (warehouses); a residential building was damaged in Kremenchuk and transport infrastructure in Zaporizhzhia.
Why it matters —Both sides are now trading capital-scale strikes; expect more pressure on European air-defence deliveries.
A joint Franco-German position paper is being drafted in the Chancellery and Élysée, to be presented before the EU summit at the end of next week.
Macron would stop blocking looser CO₂ fleet limits for cars; Merz would drop resistance to strict “Made in EU” rules in the Industrial Accelerator Act.
Why it matters —If it holds, the de facto end of the 2035 ban moves from a German wish to a Council majority within weeks.
Union and SPD leaders meet Wednesday on the reform course; no decisions on disputed items expected, possibly a timetable. SPD wants changes after the September state-election losses.
Flashpoints: Klingbeil’s planned sugar, tobacco and plastic taxes, a 2027 budget that may slip past year-end, pensions after 45 contribution years, and care-insurance finances.
Why it matters —Today shows whether the coalition resets after the AfD’s state-level gains or keeps drifting into open conflict.
Google: attackers compromised the three country-code TLD registries, rewrote authoritative DNS for selected domains and passed CA domain-validation checks.
Unauthorised certs covered “several Google domains” plus, per Certificate Transparency logs, “several leading global brands and widely used online services” (unnamed).
Why it matters —Domain validation is only as strong as the registry above you — a reminder that CAA and CT monitoring aren’t optional.
Anthropic merged Project Glasswing and its Cyber Verification Program into three tiers — Defense, Red Team, Specialized — all with Opus 5.5, Sonnet 5.5 and Mythos 5.1. Specialized is vetted with the US government.
Its numbers: Glasswing partners found ≥129,000 verified vulnerabilities Apr–Jul 2026 (>33,000 critical/high), plus 5,500 from Anthropic’s own open-source scanning.
Why it matters —Labs are now gating offensive capability by customer tier rather than refusing outright — and their models already show up all over browser patch notes.
An ethical hacker got into user, management and admin accounts on the Chinese maker’s cloud platform in late August without a password and could have switched off plants or pushed malware Europe-wide.
At times about 18 GW was reachable via the platform; Germany alone has ~250,000 Sungrow systems with 7.8 GW peak output.
Why it matters —Distributed solar is now grid-scale, but its remote-control plane still sits in vendor clouds with consumer-grade security.
Kenya has its first Ebola case: a Kenyan who fell ill in DR Congo travelled to Nairobi via Kampala and died there on Monday (Bundibugyo strain, per WHO); 28 contacts are quarantined.WORLD (AP/WHO)
OpenAI’s Decisions API is in public beta: POST /v1/decisions returns typed predicate/choice/score answers on text or images ~10× faster than Responses (gpt-6-luna only). Vercel AI Gateway adds confidence-based fallbacks.OpenAI API — Decisions guideVercel changelog
Warriors beat a short-handed Lakers 124-98 in their preseason home opener at Chase Center; LA sat seven players including Luka Dončić and Austin Reaves. Rookie Yaxel Lendeborg stood out.San Francisco ChronicleOrange County Register
