AI Odyssey

🎧 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.

Watch the video explainer on YouTube: https://youtu.be/3RH62zNMNYo?si=K8EqcEhwPwrhvhuG

🎧 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

🎧 Personal AI Agents That Act for You: Hermes, OpenClaw, Grok Bot and Muse
AI agents are moving beyond answering questions. You can give them a task, let them work across apps, and step in when needed. This episode looks at four options for individuals. Hermes Agent and OpenClaw offer control on your own devices, with setup required. Grok Bot works in a cloud computer for eligible subscribers. Meta’s Muse is built for everyday tasks: it can use a browser and connected apps, keep working after you close the app, and asks for approval before sending an email or making a purchase, according to Meta. Muse is rolling out in the US.
We compare access, practical uses, and permissions. We also cover the unconfirmed OpenAI DevDay rumor without treating it as a launch. This AI Odyssey episode was created with Google’s NotebookLM from many sources, including official product information and reporting.

🎧 Jev: What’s Behind the Buzz?

Jev is getting attention with a simple promise: AI that makes a choice instead of writing an answer. But what does that actually mean?

In this episode, we unpack TypeSafe AI’s new model: what it is, how software can use it to sort requests or choose a next step, and why its claims of faster, cheaper decisions are attracting interest.

We also look at what Jev does not solve. A neatly formatted answer can still be wrong, and the company’s performance claims need independent testing. What is useful here, and what still needs proving?

Inspired by the work of Diogo Almeida and the TypeSafe AI team, this episode was created using Google's NotebookLM.

Read the original announcement here: https://typesafe.ai/blog/introducing-system-one-models-and-jev