Meeting reminders that fly across your screen, open-source AI avatars, and a local AI chat archiver that syncs with Obsidian.
Claude Mythos matched GPT 5.5 on the Erdos conjecture, Hassabis moved the AGI timeline again, and China locked down its AI researchers.
Following AlphaProof Nexus solving 9 Erdos problems last week, Anthropic's Mythos using Claude Code has independently solved the unit distance problem that GPT 5.5 recently disproved, producing what mathematicians are calling a "cute, simple proof."
Update: Two different AI systems now converging on the same conjecture from different approaches. The cost per proof continues to drop.
Quick hits from the AI world.
1-bit image models that run in your browser, and the Anima community is on fire.
Mac cleaners for developers, a Launchpad replacement, and a self-hosted wiki in a single binary.