Coding agent orchestrators dominated today. Also: a wireless mic with an E-Ink screen and a tool that finally solves multi-screenshot pasting for AI chats.
Massive day. OpenAI cracks an 80-year-old Erdős problem, Anthropic hits profitability, Cohere drops a serious open MoE, and AMD prices the Halo PC.
An internal OpenAI reasoning model autonomously disproved a central conjecture about the planar unit distance problem, first posed by Paul Erdős in 1946. For 80 years, mathematicians believed square grids were essentially optimal. The model found an entirely new family of constructions that beat the grid using algebraic number theory.
This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics. An OAI researcher called it "the biggest deal in the history of AI so far."
Quick hits from AI & LLMs.
Stability AI ships open-weight music models, and two ComfyUI tools worth trying.
Mac utilities, a clever way to self-host Obsidian, and a trip planner for the self-hosted crowd.