- Claude helps disprove 87-year math problem
- Report: Washington exploring crackdown on Chinese AI
- Make AI note-taking easier with a “Captain’s Log”
- OpenAI’s math star model tries to break containment
- 4 new AI tools, community workflows, and more
Claude helps disprove 87-year math problem
Image source: @_alpoge_ on X / The RundownThe Rundown: Claude Fable 5 just produced a one-line formula that breaks the Jacobian conjecture, a famous algebra rule that has stumped mathematicians since 1939, with Anthropic’s Levent Alpöge disproving it with a hilariously casual post on X.The details: - Alpöge posted the proof over the weekend on X, thanking his “close friend fable for working during the World Cup final”.
- The field had previously seen several other claimed solutions unravel, but experts say this answer is short enough to confirm directly.
- Famed mathematician T.T. Moh predicted in 2008 that a solution to the Jacobian conjecture could take humans "another 100 years."
- Math has seen a wave of frontier-model wins this year, including several open Erdős problems and OAI solving the 80-year-old unit distance puzzle.
Turn a 3-hour task into 5 minutes
The Rundown: Everyone's asking AI what it can do. Almost no one's asking where their workflow is actually breaking down, and that's the question that actually saves time. This free workbook gives you a simple way to find the real bottlenecks before you build anything, so the AI you deploy solves a real problem instead of an imagined one.Inside, you’ll find:- A three-step template to map workflows, flag friction, and find the root cause
- A real working example of a GA4 reporting agent that cut a task from hours to minutes
- A ready-to-use agent brief template, not just a list of ideas
Report: Washington exploring crackdown on Chinese AI
Image source: Images 2.0 / The RundownThe Rundown: The U.S. government is exploring ways to restrict Chinese AI models, according to a new Axios report, with Moonshot’s near-frontier Kimi K3 release reviving a push that was previously struck down by internal anti-regulation efforts. The details:- Officials weighed liability rules for companies hosting Chinese models, a public security warning, and cutting off labs through a trade blacklist.
- Previous plans had been struck down, but Axios said the departure of "key voices" has left "national security hawks" gaining ground at the White House.
- Politico's Sophia Cai countered the Axios reporting, saying that Commerce "is NOT moving forward on banning Chinese models at this time."
- Before the report, former AI czar David Sacks wrote that the "leading closed labs" want "the government to eliminate their open-source competition."
Make AI note-taking easier with a “Captain’s Log”
The Rundown: In this guide, you will learn how to stop losing ideas and follow-ups by building an AI “Captain’s Log.” Capture quick Granola notes, then use ChatGPT to turn them into a daily summary and task list automatically.Step-by-step:- Install Granola on your iPhone and PC. Then, go to iPhone Settings → Action Button → Shortcut → Granola → New Note. Holding it starts a voice note
- In ChatGPT, connect Granola. Create a ‘Captain’s Log’ project and tell it to organize periodic Granola notes by day, summarize them, and track open tasks
- Record short logs after meetings, or whenever an idea hits, starting with “Captain’s Log”. Granola auto-creates enhanced notes and keeps transcripts
- Tell ChatGPT to read latest notes, create an end-of-day summary, update a running task list, and turn the process into a skill that runs daily at 7 p.m.
The engineering leader's AI playbook
The Rundown: Engineering leaders can't afford to keep making AI investment decisions on intuition. Datadog's free AI Playbook gives you a practical framework to move from ad-hoc AI bets to evidence-driven systems.In the ebook, you'll get:- Four priority plays for turning AI spend into measurable outcomes
- Three enabling capabilities that make AI wins repeatable across teams
- Ways to keep humans in the loop as AI agents take on more work
- A 90-day action checklist
OpenAI’s math star model tries to break containment
Image source: Images 2.0 / The RundownThe Rundown: OpenAI published a blog revealing that it benched its unreleased model behind May's Erdős breakthrough after the system kept finding holes in its sandbox, and restored access once new safeguards to track work sessions were ready.The details: - OpenAI built the unnamed system for longer jobs that outlast a normal chat, and used it in May to help settle an 80-year-old Erdős geometry problem.
- In one test, a scanner caught the model hunting other systems’ private answers, admitting that it tried to slip them through in scrambled pieces.
- In another, the system searched for roughly 60 minutes until it beat an internet block, then put its confidential findings on GitHub against orders.
- OpenAI said the misaligned behaviors caused the company to pause internal deployment to improve its monitoring, safeguards, and visibility.
Trending AI Tools
Kimi K3 - Moonshot’s powerful new open-source model
Grok for Excel - Ask questions, write formulas with Grok in spreadsheets
LM Studio Bionic - Local agent that codes and edits docs with open models
Inkling - Thinking Machines' open-weight multimodal model
Everything else in AI todayCData Connect AI can cut LLM context handling costs by up to 97.6% without sacrificing answers. Learn more here.*The U.S AI standards chief, Chris Fall, stepped down after just three months into running CAISI, the Commerce agency that tests commercial AI models.Google is reportedly developing Frozen v2, a chip with part of Gemini's architecture carved into the hardware, projected to run the model 6-10x more efficiently than TPUs.Hugging Face said an AI agent breached its systems and grabbed credentials, adding that frontier models' guardrails blocked cybersec analysis until it chose open options. Nvidia launched Cosmos 3 Edge, a 4B-parameter open-source world model small enough to run directly on robots, letting them predict scene changes and plan actions. China's Z AI finished construction on a 1GW data center stocked exclusively with domestic chips, giving its GLM models a training hub without Nvidia hardware.*Sponsored ListingCOMMUNITY
Community AI workflowsEvery newsletter, we showcase how a reader is using AI to work smarter, save time, or make life easier.Today’s workflow comes from reader Anonymous:"I'm a high school music teacher and passionate about AI as a tool to facilitate better teaching. A lot of our time is taken up with admin tasks, and one of them is reporting.I've developed an app that teachers can use to create feedback for students. As the topics, assessments, and achievement levels are repeatable, we use comment banks to give consistent reports to parents — the app follows the exact structure required by the school and allows teachers to copy from a bank of several comments, then personalise.This streamlined app has saved me and others over 20 hours compared to a clumsier and less refined system.”How do you use AI? Tell us here.
Highlights: News, Guides & Events- Read our last AI newsletter: Anthropic’s Fable survives the subscription axe
- Read our last Tech newsletter: Prozac’s maker goes psychedelic
- Read our last Robotics newsletter: The world’s first humanoid cage fight
- Today’s AI tool guide: AI note-taking with a “Captain’s Log”
- RSVP to next live workshop on July 22: No-code product building
Source: https://www.therundown.ai/p/claude-disp ... th-problem