{"type": "rich", "version": "1.0", "title": "SecondSource Morning Brief \u00b7 July 30, 2026 | AI Solved a Math Conjecture Open Since 1997, and This Time the Verification Chain Is Complete: Machine-Checked at Every Step, Hand-Checked Line by Line by All Three Authors. But the Credit Went to the Wrong Model \u2014 the Professor Says He Used Last-Generation 5.5 Pro; OpenAI's President Billed the New Flagship 5.6", "author_name": "", "author_url": "https://en.secondsource.io", "provider_name": "Buttondown", "provider_url": "https://buttondown.com", "html": "<iframe scrolling=\"no\" style=\"width:100%!important;height:300px;position:relative;\" src=\"https://en.secondsource.io?as_embed=true\"></iframe>", "width": 600, "height": 300}