OpenAI IMO Gold, AWS S3 Vectors, MCP Server Exposés, Sovereign Clouds & the Capex Surge

Thanks for listening—subscribe and leave a review!

• Announcing molab (marimo)
  Marimo debuts molab, a free, cloud‑hosted workspace for running and sharing reactive Python + SQL notebooks straight from the browser.
  https://marimo.io/blog/announcing-molab
• OpenAI LLM Claims IMO Gold
  Researcher Alexander Wei says an experimental OpenAI model solved 5 of 6 problems from the 2025 International Math Olympiad—good for a human‑level gold medal—and hints at new post‑RL training tricks.
  https://threadreaderapp.com/thread/1946477742855532918.html
• Exposing the Unseen: Mapping MCP Servers Across the Internet (Knostic)
  Knostic scanned the web and found 1,862 publicly exposed Model Context Protocol servers, all leaking unauthenticated tool inventories.
  https://www.knostic.ai/blog/mapping-mcp-servers-study
• Honey, AI Capex is Eating the Economy (Paul Kedrosky)
  Kedrosky argues that runaway AI‑datacenter spending could reach roughly 2 % of U.S. GDP—enough to nudge macro growth on its own.
  https://paulkedrosky.com/honey-ai-capex-ate-the-economy/
• Do US Hyperscalers’ Sovereign Clouds Reduce the Risk of US Government Access?
  Cloud‑law scholars doubt whether new “sovereign cloud” offerings from AWS, Microsoft, and Google can truly shield European data from U.S. surveillance.
  https://www.linkedin.com/pulse/do-us-hyperscalers-sovereign-clouds-reduce-risk-access-dave-michels-ulmcf
• AWS API MCP Server (Developer Preview)
  AWS opens a preview of an MCP server that lets foundation‑model agents translate plain‑English requests into scoped AWS CLI calls, guarded by IAM.
  https://aws.amazon.com/about-aws/whats-new/2025/07/aws-api-mcp-server-available
• Agent Leaderboard (Galileo)
  Galileo’s open leaderboard pits LLMs against enterprise‑style agent tasks; current numbers show GPT‑4.1 leading with a 62 % Action Completion score.
  https://github.com/rungalileo/agent-leaderboard
• Introducing Amazon S3 Vectors (Preview)
  AWS adds native vector‑embedding storage and sub‑second queries to S3, claiming up to 90 % cost savings for vector search workloads.
  https://aws.amazon.com/blogs/aws/introducing-amazon-s3-vectors-first-cloud-storage-with-native-vector-support-at-scale/
• Rethinking CLI Interfaces for AI
  Developer Ryan calls for redesigning CLIs and APIs—richer docstrings, structured outputs, smarter wrappers—so LLM agents stop looping and thrashing.
  https://www.notcheckmark.com/2025/07/rethinking-cli-interfaces-for-ai/