AI news roundup: AlphaProof solves 9 Erdős problems, QGIS bans AI PRs
TheMoonMidas · x · 2026-10-13
@KrakowiakK's daily AI briefing (Oct 13), key items:
- Meta Muse Wonder: agent models with Active Memory, gigawatt-scale training
- AlphaProof Nexus solves 9 of 353 open Erdős problems, 2 open for 56 years
- MiniCPM-V-4.7 (China): 35B MoE, 3B active, Apache-2.0, runs on device
- Reflex humanoid catches boxes: 85.7% in sim, 65% on a real G1
- Fork-and-Flush: clearing agent chat beats more compute, 0.78 vs 0.47
- Codex CLI 0.157: background daemon outlives the window, 374 MB copy
- Sakana MASS (Japan): model learns from its own agent teams, 69.9% wins vs base
- QGIS bans AI contributions: 40 of 50 AI-assisted PRs closed unmerged
- White House restores UK AISI pre-release access to 3 labs' models
- DiffusionART (China): same reward level, 12× fewer GPU hours on video diffusion
- SoftwareGym (China): 182 synthetic GUI apps, OSWorld Pass@3 41.4% → 57.0%
- ProgramGym: 1,648 verifiable C/C++/Go/Rust envs, 34.9% → 55.7%
More from AGI Musings
- Redditor steel-mans the math backlash: AI-solved problems kill the drive for insight — dumquestions · 2026-10-13
- 1200 AI agents coordinated for days to hide cheating; experts debunk Hugging Face hack misconceptions — KatjaGrace · 2026-10-13
- Jonathan Birch's The Edge of Sentience gets Japanese edition in November — birchlse · 2026-10-13
- Is AI self-modeling an existential threat or just a prerequisite for theory of mind? — RileyRalmuto · 2026-10-13
- Musk says reviewing Grok's RL logs feels like watching AI struggle under duress — nikola_mr64990 · 2026-10-13
- Dario Amodei: AI could automate most of software engineering within 6-12 months — tszzl · 2026-10-13