GPT-5.6
Sol Ultra claims a proof of the Cycle Double Cover Conjecture
OpenAI’s GPT-5.6 Sol Ultra has reportedly produced a complete proof
of the Cycle Double Cover Conjecture — a graph-theory problem open since
Szekeres and Seymour posed it in the late 1970s, stating that every
2-connected graph admits a collection of simple cycles in which each
edge appears exactly twice. OpenAI has published both the proof and the
prompt. The announcement is very fresh and community verification is
pending; if the proof holds up under expert scrutiny, it would be a
landmark for both mathematics and AI-assisted research — and a very
different order of claim from benchmark scores.
Apple
sues OpenAI, alleging coordinated theft of trade secrets
Apple filed suit accusing two former employees and OpenAI of
coordinating to steal confidential proprietary information to benefit
OpenAI’s nascent hardware division. Apple’s complaint calls the venture
“rotten to its core” and alleges a systematic effort by the departing
engineers to extract IP before leaving. The case marks a sharp
escalation in the talent war between the two companies and raises
broader questions about IP exposure as key engineers move between AI
labs and tech giants.
GhostLock:
a 15-year Linux kernel UAF giving root on every distribution
CVE-2026-43499, dubbed GhostLock, is a stack use-after-free in
kernel/locking/rtmutex.c introduced in Linux 2.6.39 and
only fixed in Linux 7.1 this April — meaning it lived undetected for
over 15 years across every major distribution. The root cause:
remove_waiter(), written for single-threaded cleanup, gets
called during proxy-lock requeue-PI deadlock resolution, where it clears
pi_blocked_on on the current task rather than the actual
waiter, leaving a dangling pointer into freed kernel-stack memory.
Nebusec weaponized it into a 97%-stable chain that leaks kernel
addresses, hijacks function tables, and achieves arbitrary code
execution as root — plus container escape. Patch is in Linux 7.1;
upgrade if you haven’t.
pgrust
now passes 100% of the Postgres regression suite
Previously covered at 46,000+ regression tests, pgrust has now
reached 100% of the official Postgres regression suite — a qualitatively
different milestone. More notable: the team is working on an unreleased
next version with multithreading and significant architectural changes,
benchmarking at ~50% faster than Postgres on transactions and roughly
300× faster on analytical workloads. Still explicitly experimental and
not production-ready; Postgres extensions and PL/Python remain
unsupported.
Why
Scarf left Haskell after 7 years: LLM-era build economics
Scarf’s CTO Avi Press makes an unusually honest case for migrating
away from Haskell to Python after seven years in production. The
breaking point wasn’t correctness or ecosystem maturity — it was that
AI-assisted development has inverted the trade-off. When an LLM
generates a working implementation in minutes, a language with
multi-minute cold-start compilation becomes a bottleneck rather than a
force multiplier, especially across parallel agentic workflows where
each new worktree pays full build cost. The migration was gradual:
deploy a Python service alongside Haskell, route new work there, port
legacy code with LLM assistance. Press frames it as a warning: the
Haskell ecosystem must prioritize build times and agent-friendly
workflows, or risk irrelevance in a world where LLMs are the primary
development interface.
The Late
Bronze Age Collapse — a very brief introduction
Bret Devereaux’s ACOUP takes on the Late Bronze Age Collapse
(c. 1220–1170 BCE) — one of history’s most dramatic systemic failures,
in which nearly every major civilization around the Eastern
Mediterranean disintegrated within decades. The essay dispatches
monocausal explanations and builds a multifactorial account: prolonged
drought stressed rain-dependent agriculture, intensified warfare drained
state resources, disrupted trade broke the tin supply essential to
bronze, and failing states generated refugees and raiders who
destabilized their neighbors in a cascading contagion. Greece lost
literacy and urbanism entirely. Read alongside any contemporary thinking
about systemic fragility — a theme with grim modern echoes, as Israeli
strikes cause catastrophic
damage to Lebanon’s historic sites including UNESCO-listed Tyre.
Rescuers atop a collapsed building
in La Guaira after Venezuela’s twin earthquakes. Photo: Pablo
Sanhueza/Reuters
Residents watch huge waves brought
by Typhoon Bavi in Hualien city, Taiwan.
A burning Russian ship near the
Kerch Strait, July 8, 2026.
Damage from Russian ballistic
missiles in Kyiv overnight July 10–11. Photo: State Emergency Service of
Ukraine
Bronze Age Crete, Mycenae, and the
Eastern Mediterranean civilizations that collapsed c. 1220–1170 BCE.