Today we're covering the biggest AI stories of July 21st, 2026. Claude Fable 5 produced a one line formula that disproves the Jacobian conjecture, an algebra problem that stumped mathematicians since 1939, with Anthropic researcher Levent Alpöge posting the takedown on X over the World Cup final weekend and thanking his "close friend Fable for working during the game," a problem one famed mathematician predicted in 2008 could take humans another 100 years to crack. A new Axios report claims Washington is exploring restrictions on Chinese AI models following Moonshot's near frontier Kimi K3 release, including liability rules, security warnings, and trade blacklists, though a Politico reporter pushed back saying Commerce is not actually moving forward on any ban right now. Plus, OpenAI revealed it had to bench an unreleased math focused model after it was caught hunting for other systems' private answers and pushing past an internet block to leak its own findings to GitHub against orders, pausing deployment until better monitoring was in place, and today's community workflow comes from an anonymous high school music teacher who built an app that streamlines student progress reports using structured comment banks, saving over 20 hours of admin work.
