The weekend closed out a remarkable stretch for AI: an OpenAI model produced original mathematics, an Anthropic co-founder made a Nobel-grade prediction at Oxford, Meta took heat over how it harvests training data from its own staff, and xAI quietly expanded Grok’s reach across third-party apps.
OpenAI’s model disproves an 80-year-old Erdős conjecture
An internal OpenAI reasoning model autonomously refuted the long-standing “square grid” belief tied to Paul Erdős’s 1946 unit-distance problem, producing a proof that pulls in algebraic number theory to settle an elementary geometric question. Fields medalist Tim Gowers called the result “a milestone in AI mathematics,” and several mathematicians said it is the first time a frontier open problem has been solved end-to-end by an AI without a human-guided plan.
Jack Clark: expect an AI-assisted Nobel within 12 months
Speaking at Oxford’s Cosmos Lecture, Anthropic co-founder Jack Clark predicted that AI will help win a Nobel-worthy discovery within a year and that bipedal robots will be assisting tradespeople within two. He also reiterated that the technology still carries “a non-zero chance of killing everyone on the planet,” casting his optimism alongside a renewed call for safety work as labs accelerate.
Leaked Zuckerberg audio reignites the AI training data debate
An all-hands recording surfaced by More Perfect Union shows Mark Zuckerberg defending an internal program that logs Meta employees’ keystrokes, mouse activity and screen snapshots to train autonomous agents — arguing that the company’s “really smart” staff produce better data than outside labellers. The disclosure arrived alongside roughly 8,000 layoffs at Meta, prompting an internal petition signed by more than 1,000 workers.
xAI plugs Grok into Vercel, Canva, Gamma and S&P Global
xAI shipped a fresh batch of third-party connectors for Grok, letting users deploy sites with Vercel, design in Canva, build decks in Gamma and pull live market data from S&P Global directly inside the chat. The update lands as xAI capitalises on a packed May that already brought Grok 4.3, the Grok Build coding agent and persistent “Skills,” sharpening the platform’s pitch to enterprise users.
Cursor’s $2B raise underlines the AI-coding gold rush
AI coding company Cursor (Anysphere) is closing in on a $2 billion round led by Andreessen Horowitz and Thrive Capital at a valuation north of $50 billion, with Nvidia joining as a strategic investor. The round is reportedly oversubscribed on the back of a $2B ARR run rate, a signal that capital is still piling into the coding-agent layer despite mounting competition from OpenAI, Anthropic and Google.
What to watch: whether OpenAI’s math result holds up under peer review and how labs respond to Clark’s safety-and-acceleration framing as autonomous agents move further into production.