AI cracks 30-year math problem

Good morning, AI enthusiasts. An AI just delivered a breakthrough in mathematics — solving a 30-year-old problem using no human help in any respect.

With DeepSeek and Google also reaching gold-level reasoning, we may finally be on the cusp of mathematical superintelligence, where solving hard problems might be a superpower shared far beyond pro-level mathematicians.

P.S. Our next edition of The Rundown Roundtable is here, where our staff members share the unique ways we’re incorporating AI into each our work and private lives. See the most recent use cases below, and submit your individual workflow here.

In today’s AI rundown:

• ‘Aristotle’ AI cracks 30-year math problem

• The Rundown Roundtable: Our AI use cases

• Use AI to seek out patents and innovation opportunities

• China overtakes the U.S. in open AI economy

• 4 recent AI tools, community workflows, and more

LATEST DEVELOPMENTS

HARMONIC

🤖 ‘Aristotle’ AI cracks 30-year math problem

The Rundown: Aristotle, an AI system built by Harmonic, just independently solved a 30-year-old Erdős problem, marking what researchers are calling the primary real step into the “vibe proving” era of mathematics.

The small print:

• Aristotle solved a version of Erdős Problem #124, which has been open for the reason that Nineteen Nineties, in six hours, after which formally verified the proof in Lean in a minute.

• The result got here from Aristotle’s beta version, updated with stronger reasoning and a natural language interface to explore and write step-by-step proofs.

• Vilad Tenev, the founding father of Harmonic, called this the arrival of “vibe proving” — AI-driven proofs discovery followed by machine-verifiable rigor.

• The event follows Harmonic’s $120M funding and Aristotle’s IMO gold performance, putting it alongside Google and OpenAI in mathematical reasoning.

Why it matters: Harmonic’s breakthrough is one other push toward mathematical superintelligence, where proofs can be generated, verified, and scaled at superhuman speeds. Tools like these may also open participation in advanced mathematics, turning it from something only experts do into something anyone can contribute to.

TOGETHER WITH TELUS

🔒 Secure AI before it’s too late

The Rundown: Hidden vulnerabilities and compliance challenges are emerging faster than ever. Uncharted is where industry leaders take motion to secure the long run of AI. Gain actionable strategies in nine expert-led sessions to guard your AI innovations before it’s too late.

On this insightful summit, you will uncover:

• Hidden dangers lurking in 24+ frontier models

• Legal frameworks that balance innovation with responsibility

• Proactive defense strategies from top CISOs

Get the insights.

THE RUNDOWN ROUNDTABLE

💡 The Rundown Roundtable: Our AI use cases

The Rundown: The Rundown Roundtable is a brand new weekly feature through which we poll members of The Rundown staff about how we use AI in our work and day by day lives.

Rowan, CEO: I’m getting ahead of my 2026 fitness goals by giving the brand new ChatGPT 5.1 Pro model context from my old peak-performance training plans, Whoop data, work schedule, dietary restrictions, and goals. Together, we’re constructing a program designed to get me back to peak shape — optimized exactly for the way I train, work, and recuperate.

Jason, Head of Product: I ran a functional lab test and sent the outcomes to ChatGPT. It flagged my homocysteine at 46 (protected range is under 10) and suggested it might be linked to an MTHFR variant. I ordered a follow-up genetic test — and it got here back positive for the C677T mutation. I began Thorne MethylGuard Plus supplements, and 6 weeks later, my homocysteine was normal. It helped me connect dots I wouldn’t have seen by myself.

Mayur, Content Manager: My work shifts often stretch past midnight, so I’ve been attempting to take my health more seriously. I created a dedicated project on ChatGPT and a mirrored one on Grok simply to cross-check things, where I’ve uploaded my entire routine and all the main points from my full body checkup. I’ve began adding photos of each medicine, complement, and treatment I’ve been taking, together with notes on why and when I take advantage of them.

The concept is to maintain updating it so it kinda becomes a digital biodata of my health and a go-to place for all my specific health-related questions.

AI TRAINING

🔎 Use AI to seek out patents and innovation opportunities

The Rundown: On this tutorial, you’ll learn how you can use Perplexity’s AI-powered patent search to quickly discover existing patents, uncover open innovation spaces, and reduce the chance of infringement before investing in recent ideas.

Step-by-step:

1. Go to Perplexity.ai and sort your query (e.g., “Are there any patents related to AI automations?”). The platform mechanically detects patent-related searches and shows relevant filings, owners, and grant dates

2. Refine your query with context, resembling “Find energetic patents in AI-driven industrial automation.” Then ask follow-ups like “Show whitespace on this field” to disclose gaps and opportunities

3. Enable Agent Mode to activate multi-step reasoning. The agent compiles patents across regions, creates tables and charts, and visualizes your research space for deeper evaluation

4. Review the generated CSV and PNG reports to discover crowded zones, emerging areas, and potential whitespace

Pro tip: Start broad, then narrow your search by asking the agent to group results by company, summarize claims, or map open innovation zones.

PRESENTED BY WARP

🏆 Warp’s No. 1 Dev Agent gets an enormous upgrade

The Rundown: Warp just launched its biggest Agents update yet, propelling it to No. 1 on Terminal-Bench agentic coding benchmark ahead of Claude Code, Gemini, and Codex.

Warp’s Development Agent now includes

• Full terminal use with long-running commands like servers and debuggers

• Steerable planning you possibly can review and edit in real time

• Full lifecycle support, from planning and coding to deployment

See what the subsequent evolution of development agents looks like.

Try Warp today.

AI MARKET

🇨🇳 China overtakes the U.S. in open AI economy

The Rundown: A brand new MIT and Hugging Face study analyzing 2.2B Hugging Face downloads reveals a “fundamental rebalancing” of the open AI economy, with U.S. industry dominance collapsing in favor of Chinese heavyweights.

The small print:

• The study found that Chinese AI developers have surpassed the U.S. industry in downloads, capturing 17.1% of the market in comparison with the U.S.’s 15.8%.

• This surge is basically driven by two Chinese players, DeepSeek and Alibaba’s Qwen, holding 14.2% of the market between August 2024 and August 2025.

• Google, Meta, OpenAI, which commanded 40%+ of downloads before 2023, are completely absent, with Cozy topping the list for the U.S. with 5.4% share.

• The study also found that true open source is dying, with models disclosing their training data crashing from 79.3% in 2022 to only 39% in 2025.

Why it matters: The rapid ascent of Chinese models marks a changing of the guard. The open ecosystem has transitioned from a U.S.-led monopoly (historically led by Google) to a landscape where Chinese labs now provide the “brains.” This gap can increase further, with a wave of Chinese releases, led by DeepSeek, likely on the best way.

QUICK HITS

🛠️ Trending AI Tools

• 🧠 Math V2 – DeepSeek’s open-source mathematical reasoning model

• 🤳 Perplexity – AI answer engine, now with persistent memory

• 🏆 GELab-Zero-4B – StepFun’s recent SOTA, open-source computer use model

• 🛒 Vidi2 – ByteDance’s AI video editor with spatio-temporal grounding

📰 Every little thing else in AI today

Elon Musk’s xAI is reportedly set to raise a $15B round of funding at a $230B pre-money valuation next month, CNBC reported.

AI and agents drove $14.2B in global online sales on Black Friday, with $3B of this coming from the U.S. alone, Salesforce data revealed.

Virgin Australia signed a cope with OpenAI to embed ChatGPT-powered tools directly into how people seek for and plan flights.

Data intelligence giant Databricks is in talks to raise $5B at a valuation of $134B — roughly 32x its expected sales of $4.‌1B for this yr, The Information reported.

Avatar director James Cameron called gen AI “horrifying,” saying it makes up a personality, an actor, a performance from scratch, unlike his movies’ performance capture approach that celebrates the “actor-director moment.”

Deutsche Telekom and Schwarz Group are reportedly planning a joint “AI gigafactory” in Germany, eyeing the EU’s $20B funding to rival U.S. and China.

Telegram CEO Pavel Durov launched Cocoon, a decentralized compute network to let GPU owners earn TON tokens for personal AI processing, difficult cloud providers.​

COMMUNITY

🤝 Community AI workflows

Every newsletter, we showcase how a reader is using AI to work smarter, save time, or make life easier.

Today’s workflow comes from reader Martin K. in Bratislava, Slovakia:

“I take advantage of SimTheory AI to create an easy invoice payment assistant. I volunteer for a non-profit, and I’m accountable for paying about 30 invoices every month. I upload the PDF invoices to the assistant I created. It then recognizes all relevant information, enriches it with additional data for accounting and finance, and creates a table for an internal system and an XML file for batch payments. It really works 100% appropriately and increases my productivity 10-fold.

The subsequent challenge is to make use of a Google Sheets MCP to mechanically enter the info into the inner system.”

How do you utilize AI? Tell us here.

🎓 Highlights: News, Guides & Events

• Read our last AI newsletter: DeepSeek returns with an IMO-crushing AI

• Read our last Tech newsletter: Apple takes the crown from Samsung

• Read our last Robotics newsletter: Figure sued over ‘skull-crushing’ force

• Today’s AI tool guide: Use AI to seek out patents and innovation opportunities

• RSVP to next workshop @ 4 PM EST Friday: Nano Banana Pro for Slide Decks

See you soon,

Rowan, Joey, Zach, Shubham, and Jennifer—the humans behind The Rundown