OpenAI's Astra Solved 10 Decade-Old Math Problems for $2,000 — and the Proofs Are Machine-Verified
OpenAI published formal Lean proofs for ten long-open mathematical problems — from non-sofic groups to sphere packing — generated by its unreleased Astra model at a total compute cost of roughly $2,000. »
Game Freak Leaves Pokémon Behind: Beast of Reincarnation Launches Today on PS5, Xbox, and PC
Game Freak's first AAA game outside the Pokémon franchise is here — a 'one-person, one-dog' action RPG set in a corrupted, post-apocalyptic Japan, available on PS5, Xbox Series X|S, and PC with day-one Game Pass access. »
Arch Linux 2026.08.01 Ships Kernel 7.1.5 and a New Niri Window Manager Profile
Arch's August ISO is the first to ship Linux kernel 7.1.5 out of the box, bundling Archinstall 4.4 with a new Niri tiling compositor profile and Plymouth boot splash support. »
Six Linux Kernels Patched in One Day to Close a 16-Year-Old POSIX Timer Race Condition
Greg Kroah-Hartman coordinated six simultaneous LTS kernel releases on July 30, all fixing a use-after-free race in POSIX CPU timers that has been present in the kernel since around 2010. »
Korea Just Open-Sourced Its Largest AI Model — K-EXAONE 2.0 Packs 750 Billion Parameters Under Apache 2.0
LG AI Research dropped South Korea's biggest foundation model on Hugging Face, switching to Apache 2.0 — free for commercial use — while scoring 70.1 average across 24 benchmarks. »