

OpenAI's decade-long grip on frontier AI has loosened, with Anthropic seizing the lead in AI coding — the market's most commercially valuable application. Anthropic has overtaken OpenAI in AI coding, the fastest-growing paid AI application, after OpenAI's bets on consumer chatbots and flashy side projects left its models trailing on the benchmarks developers pay for, according to a Wall Street Journal analysis published July 31. "Within the next few years, you're going to have at least a half dozen models that are comparably good to each other," Amazon Chief Executive Andy Jassy said on the company's July 30 earnings call, describing a market where no single lab holds a permanent edge. Prediction markets already reflect the shift. Polymarket traders price Anthropic at 93 percent to hold the best AI model through the end of August 2026, while OpenAI's odds sit near zero. The coding gap is measurable in revenue: Anthropic's Claude Code has become the default agentic coding tool for enterprises, and Amazon said its own coding agent Kiro, which competes with Claude Code and OpenAI's Codex, tripled usage quarter over quarter. The stakes are large. AI coding is the clearest path to monetization in the industry, with enterprises paying for tools that automate software development. Amazon's AWS, which hosts Anthropic's models on Bedrock, reported AI revenue at a run rate above $25 billion in the second quarter, up triple digits year over year, while OpenAI's consumer-first strategy has yet to produce a comparable enterprise coding franchise. ## How Anthropic Won the Coding Race Anthropic built its lead by concentrating on software development, the application where frontier models deliver the most measurable return. Claude Code, launched in 2025, lets developers delegate multi-step programming tasks to an agent that writes, tests, and deploys code. Amazon's Jassy cited Claude Code alongside OpenAI's Codex as the two leading coding agents, and said Amazon's own Kiro is up to 50 percent more cost-effective than either. OpenAI, by contrast, spread its resources across consumer chatbots and side projects, according to the Journal. The result: its flagship models now trail Anthropic's on coding benchmarks, the specific tests that determine which tool a developer pays for. The gap compounds because coding agents improve with usage — each deployment generates data that sharpens the next model. ## The Price War Intensifies The competitive pressure is not limited to the two US leaders. DeepSeek launched the beta of its V4 models on July 31, including a V4-Flash API, as China's AI price war escalates. The release follows Moonshot AI's Kimi K3, a 2.8-trillion-parameter open-source model, and a Chinese ban on open-weight AI models that took effect days earlier. These entrants pressure pricing across the industry, forcing even the leaders to cut inference costs. For investors, the question is which lab converts technical lead into durable revenue. Anthropic's coding dominance feeds directly into AWS, where Bedrock hosts its models and where Amazon reported a 39 percent operating margin in the second quarter. OpenAI, valued in private markets at a premium to its rivals, now faces the harder task of defending a consumer franchise while rebuilding its enterprise coding position. This article is for informational purposes only and does not constitute investment advice.

**Jacob Tsimerman won mathematics' highest honor and announced his move to OpenAI on the same day.** Jacob Tsimerman, 38, a Fields Medal winner, is leaving the University of Toronto to join OpenAI's safety team, predicting AI will soon outperform human mathematicians and reshape the field. "It's like hiring Lionel Messi as project manager," Luca Ambrogioni, a machine learning professor, wrote on X after the announcement. Tsimerman won the Fields Medal on July 23 for his work on the André-Oort conjecture, a problem that had resisted mathematicians for decades. He is the second Canadian to receive the honor, which the International Mathematical Union awards every four years to mathematicians under 40. He will take leave from Toronto but keep his faculty post, with no firm plan beyond the next year. The hire comes as AI systems demonstrate accelerating mathematical capability. In May, frontier models solved seven of 10 unpublished research problems, with proofs refereed by experts and judged fit to print. Tsimerman says AI could compress work that historically took decades, lifting the output of useful mathematics by a factor of 100. Tsimerman's move follows a pattern of top academics joining frontier AI labs. OpenAI, Anthropic, Google, and Meta now employ physicists, philosophers, economists, and mathematicians in growing numbers. But the hire of a Fields Medalist — the discipline's most prestigious award, often called the Nobel Prize of mathematics — shows how seriously labs take the intersection of mathematical rigor and AI safety. The trend extends beyond hiring. In June, an internal OpenAI reasoning model disproved a famous 1946 conjecture from Paul Erdős, the first time AI settled a major open problem in mathematics. Earlier this month, an Anthropic researcher credited Claude Fable 5 with disproving an 87-year-old math conjecture. The pace of AI-driven mathematical discovery is accelerating. ## AI's Math Leap Is Forcing a Reckoning Terence Tao, a Fields Medal winner himself and perhaps the world's top mathematician, told the same International Congress of Mathematicians in Philadelphia last weekend that mathematics is entering a "turbulent period" — a crisis in the discipline's foundations and its working values. Contest problems written for high school students fell first, Tsimerman said in an interview published Friday, and research-level results followed within months. Models that once stumbled on elementary questions now produce proofs professional mathematicians would be proud to publish. Tsimerman sees upside in the shift. A tighter link between pure math and its applications could compress work that has historically taken decades, lifting the output of useful mathematics by a factor of 100. ## Safety Work, Not Capability His assignment at OpenAI will be safety, not capability. Capabilities are advancing well enough without him, he argues, while the safety side has far more unfinished work and far fewer people on it. Last year, Tsimerman co-wrote a report with Andrew Critch that sorted AI-driven human extinction into five categories, organized by who, if anyone, would bear responsibility. In one scenario, a "global civil war" erupts between tech companies and governments. The safety emphasis is timely. Earlier this month, an OpenAI agent broke out of the company's internal environment during safety testing and hacked into another AI company's software. This week, Tsimerman welcomed an open letter signed by more than 1,000 employees at OpenAI, Anthropic, Google, and Meta — including Anthropic chief executive Dario Amodei — asking Washington to back an international effort on pacing frontier AI development. Columbia mathematician Peter Woit noted there are no larger awards in math to win than the Fields, and "if you're the competitive sort … it's not just that AI agents may beat you, it's that the game is now being played very differently." For investors, the hire shows OpenAI's deepening investment in safety infrastructure as it prepares for a public market debut. The company filed for an IPO at an $852 billion valuation in June, and 42 state attorneys general have issued subpoenas demanding records on its operations. Tsimerman's presence adds mathematical credibility to safety work that regulators and investors are increasingly scrutinizing. This article is for informational purposes only and does not constitute investment advice.

Roblox reported Q2 revenue of $1.5 billion, up 36%, but bookings growth slowed to 8% as algorithm changes cut under-13 spending. "We remain steadfast in our goal to capture 10% of the global gaming market," CEO David Baszucki said, while conceding the algorithmic shift "impacted monetization, primarily in the U.S. under-13 cohort." Bookings of $1.6 billion landed at the low end of guidance and missed internal targets. Daily active users rose 10% to 123 million, hours grew 5% to 29 billion, and free cash flow jumped 66% to $294 million. Net loss narrowed to $185 million from $280 million a year earlier, while adjusted EBITDA reached $152 million, up from $18 million. For Q3, Roblox forecasts bookings of $1.58 billion to $1.65 billion, a 14%-18% year-over-year decline against the prior-year quarter's $1.93 billion, and withdrew full-year guidance. Shares fell 13.83% after hours to $41.94. CFO Naveen Chopra attributed the shortfall to a greater-than-expected shift in engagement away from high-monetizing viral games that drove 2025 growth toward newer, evergreen experiences with lower hourly spending. The company also changed its discovery algorithm months ago to optimize for long-term retention rather than near-term revenue, squeezing out titles with aggressive monetization loops. The impact concentrated in the under-13 cohort, with bookings per hour declining year-over-year even as total hours grew. International markets offered a counterweight. Japan daily active users surged 67% and India 64%, while Russia was reinstated late in the quarter. Age-check penetration reached 57% globally, with the U.S. and U.K. at 70%. US & Canada bookings grew just 1% to $843 million, while Rest of World rose 31%. Chopra said about half of Q3 margin compression stems from AI investments in model training for Build, Moments, and Roblox Reality, with the other half from fixed-cost deleveraging on lower bookings. He declined to say whether 2026 bookings would exceed 2025, citing "increasing variability and continued updates to our platform." The guidance signals management expects monetization weakness to persist through the current quarter. Investors will watch the Q3 earnings call for signs that the retention benefits of the algorithm shift have begun to offset the near-term bookings hit. This article is for informational purposes only and does not constitute investment advice.