Show Notes
🎧 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
More from 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
🎧 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.
🎧 Grounding Agent Memory: When AI Must Check What It Remembers An AI assistant that remembers yesterday can repeat yesterday’s mistakes. This episode explores research from Microsoft on checking an agent’s memories against its working environment before saving them for future tasks. A separate curator inspects databases or documents through read-only tools, then corrects, narrows or discards uncertain memories. In one database benchmark, success reached 73%, compared with 70% for memory alone and 39% without memory. The question is whether better verification justifies its extra background work: reported task-agent savings exclude curation costs. Inspired by the work of Susheel Suresh, Hazel Mak, Sahil Bhatnagar, Chhaya Methani and Alejandro Gutierrez Munoz, this episode was created using Google's NotebookLM. Read the original paper here: https://arxiv.org/abs/2609.11060v1