OpenAI posted a paper claiming its GPT-5.6 Sol Ultra model produced a proof of the cycle double cover conjecture, a graph-theory problem that has been open since the 1970s.

LWN's update on the scraper wars: crawler traffic is increasingly laundered through residential proxy networks that make bots look like ordinary home users, straining the defenses site operators depend on.

Trump and Iran's supreme leader traded public threats while mediators worked to keep the de-escalation deal alive; Washington is demanding Tehran publicly commit that the Strait of Hormuz is open to shipping.