RedditGPT-5.4 May Have Solved Frontier Math Open ProblemReddit·high signalKevin Weil confirmed GPT-5.4 may have solved unsolved Frontier Math problem. Qualitative leap from solving known problems to unknown ones.SourceSource pageReddit↳ Follow the threadStack layer / Update threadSimon Willison Flags Tencent's Hy3 — a 295B Apache-2.0 Open MoE That Rivals GLM-5.2 and DeepSeek-V4, Free on OpenRouter Until July 21simonwillison.netStack layer / ContrastTechCrunch: Why the Rise of Open Source AI Isn't Hurting Anthropic — YetTechCrunchStack layer / ContrastChinese Open Models Take Up to 46% of US Developer Token Use as Costs SurgeCNBCStack layer / ContrastClément Delangue Pitches 'Mutualized' Open-Source Compute and a Community Model for Building AIX/Twitter (Clem Delangue)Policy dependency / Stack layerIAPS warns on Kimi Claw: security and governance risks of Chinese-hosted 'always-on' AI agentsIAPSStack layer / Update threadSpaceXAI Releases Grok 4.5, an 'Opus-Class' Model That Undercuts Frontier Pricing by 60%TechCrunchStack layer / Follow-up threadArthur Mensch Teases a 'Fat but Sparse' MoE Family, Opening July Early Access for Research and Government PartnersX/Twitter (Arthur Mensch)Stack layer / Update threadArthur Mensch's Mistral Enters Physical AI: Robostral Navigate Steers Robots From a Single RGB CameraMistral AI