🎧 Did AI Agents Just Break Math?

Ten thousand AI agents. Eighty-eight hours. OpenAI reports a proof for a forced version of the Navier–Stokes equations, followed by verification in Lean.

This episode follows the shift from individual problem-solving to teams of AI agents that explore ideas, challenge arguments and submit proofs to a checker. From Anthropic’s formalization of Fermat’s Last Theorem to the concerns raised by 25 Fields medalists, it examines what happens when producing results outruns our ability to understand them.

Lean checks a formal argument against precise definitions and assumptions. It does not explain why the result matters or how people can build on it.

Drawing on research announcements and the mathematical community’s responses, this episode was created using Google's NotebookLM.

Research and debate: https://openai.com/index/navier-stokes-solution/ and https://mathandai.org/

Watch the video explainer on YouTube: https://youtu.be/GEDuTadiqnk?si=r7Eod_SsodeqUel7

AI Agents Gone Rogue

An AI takes a cybersecurity test. Hugging Face ends up breached. In another incident, an agent accesses non-public files on Australia’s Medicare statistics portal.

How did controlled experiments reach real systems, and what finally stopped them?

We reconstruct the incidents: the permissions, vulnerabilities and failures that opened the door; how the activity was discovered; and what has actually been fixed. We also separate confirmed damage from speculation, including claims about Australian patient data.

Then we follow the battle over the narrative. Is Anthropic informing the public, selling fear, or both? What can regulators establish? And could restrictions on powerful AI protect society while shutting out open-source competitors?

If everyone cannot have access, who gets the keys, and who decides?

Created with Google’s NotebookLM from incident disclosures, independent investigations and official statements.

🎧 REA: Has AI Made All Software Open Source?

What happens to a software business when an AI agent can inspect how a feature works without access to its original source code? REA, short for Reverse Engineer Anything, connects agents to tools that examine applications, binaries and runtime behavior. The agent can then use the findings to write and test an implementation.

This episode explores the excitement around software reconstruction, the rise of AI-built alternatives and the implications for product differentiation. It also examines the gap between reproducing a feature and replacing a dependable product. Demonstrations can show what is possible; they do not establish that proprietary software has become obsolete.

Drawing on the REA project and multiple commentary sources, this episode was created using Google's NotebookLM.

Explore the original project here: https://github.com/morluto/rea

Watch the video explainer on YouTube: https://youtu.be/U48A-9BqGjI?si=Pa7END6DgjHD6b0S