- H-FARM AI's Newsletter
- Posts
- OpenAI's model breaks an 80-year-old math conjecture
OpenAI's model breaks an 80-year-old math conjecture
PLUS: Google ships Agent Executor for AI agents & Anthropic pays SpaceX $45B for compute. OpenAI files confidential IPO targeting September, Meta ships WavFlow for raw waveform audio.

1️⃣ OpenAI's general-purpose reasoning model autonomously disproved a conjecture tied to Paul Erdős' 1946 unit distance problem, verified by Fields Medalist Tim Gowers 2️⃣ Google releases Agent Executor, an open-source runtime for durable, distributed AI agent workflows integrated with Google Kubernetes Engine 3️⃣ Anthropic agrees to pay SpaceX nearly $45 billion over three years for compute capacity at $1.25B/month |
|
H-FARM EVENTS ON AI
ClawCon Venice — The Personal AI Festival
ClawCon is the gathering for the Internet's most curious personal AI community and it's coming to the H-FARM Campus. What started as a niche OpenClaw meetup quickly turned into a global movement: builders, researchers, designers, and curious humans meeting IRL to test what happens when AI becomes open and social-first.
ClawCon Venice is Italy's first ClawCon, hosted right here on the H-FARM Campus. Save the date: Thursday 4 June, 18:00–21:00. Here's what you'll find:
A global community of OpenClaw builders, researchers, and designers meeting IRL, plus live demos of open, social-first AI projects.
Unfiltered, hands-on conversations on where personal and agentic AI is heading next, in the OpenClaw spirit: curious, open, and refreshingly social.
Whether you build, research, design, or are simply AI-curious: there's a seat for you.

MAIN AI UPDATES / 21st May 2026
🧮 OpenAI's model breaks an 80-year-old math conjecture 🧮
A general-purpose reasoning model achieves a speed milestone in autonomous mathematical discovery.
OpenAI announced that an internal reasoning model has autonomously disproved a long-held belief related to Paul Erdős' 1946 unit distance problem — what the company calls the first AI-driven discovery of a major open math result. For decades, mathematicians assumed optimal solutions followed grid-like constructions, but the model uncovered an entirely new family of structures using algebraic number theory. The proof was verified by prominent mathematicians including Fields Medalist Tim Gowers, Noga Alon, and Thomas Bloom. OpenAI stressed this came from a general reasoning model, not a specialized system like AlphaProof. However, the claim follows an earlier retraction where GPT-5 had reportedly solved Erdős problems that already existed in academic literature — a competitive signal for AI-driven scientific discovery.
⚙️ Google ships Agent Executor for AI agents ⚙️
Google's new open-source runtime targets reliable, distributed AI agent execution at scale.
Google has released Agent Executor, an open-source runtime designed for reliable execution of long-running AI agent workflows. The system provides durable execution that survives failures, secure task isolation, and automatic connection recovery — key capabilities for production-grade agent rollout. Agent Executor integrates with Google Kubernetes Engine via Agent Substrate to optimize compute efficiency at massive scale, which could give Google Cloud a meaningful infrastructure edge as agents go mainstream. The open-source approach aims to attract broad developer adoption, positioning Google to set the standards for how distributed AI agents are built and deployed across the industry.
💰 Anthropic pays SpaceX $45B for compute 💰
Anthropic locks in $1.25 billion per month in compute pricing from SpaceX's data centers.
Anthropic has agreed to pay SpaceX nearly $45 billion over three years for compute resources, at a rate of $1.25 billion per month until May 2029. Either party can exit with 90 days' notice. The partnership began earlier this month when Anthropic secured 300 megawatts of capacity from SpaceX's Memphis data center known as Colossus 1, and has since expanded to a second facility. This is one of the largest compute deals in AI history, underscoring the massive infrastructure demands fueling the industry. It also highlights SpaceX's growing ambitions beyond aerospace into data center operations — competitive pressure that reshapes how AI companies secure critical resources.
INTERESTING TO KNOW
📊 OpenAI files confidential IPO targeting September 📊
OpenAI is reportedly preparing to file confidentially for an IPO, targeting a September 2026 public debut — a rollout that follows the dismissal of Elon Musk's lawsuit challenging the company's corporate restructuring. If completed, this could be one of the largest tech IPOs in recent years and would set a valuation benchmark for the generative AI sector. The timing signals confidence in both market conditions and OpenAI's financial trajectory amid rapid revenue growth.
🎵 Meta ships WavFlow for raw waveform audio 🎵
Meta AI has released WavFlow, a flow-matching framework that generates synchronized audio from video and text inputs directly in raw waveform space — a speed and fidelity improvement over existing approaches relying on latent audio compression. Released as open-source on GitHub, WavFlow could impact video production, content creation, and accessibility tools, expanding Meta's growing open-source multimodal portfolio and adding competitive pressure in the multimedia AI space.

📩 Have questions or feedback? Just reply to this email , we’d love to hear from you!
🔗 Stay connected:
