@meta
  v: 1
  route: /episodes/2026-10-07-evys-morning-ai-brief
  generated: 2026-10-16T22:29:07.483Z
  ttl: 1h

@intent
  purpose:    Evy's Morning AI Brief #113: Show Your Work: OpenAI's 722 Manuscripts And The New Proof Standard
  audience:   developer, ai-engineer, agent-builder, agent, listener
  capability: listen, read, follow-sources, share

@state
  number: 113
  headline: Show Your Work: OpenAI's 722 Manuscripts And The New Proof Standard
  title: "Evy's Morning AI Brief #113 -- October 7, 2026"
  date: 2026-10-07
  runtime: 
  audio: /media/audio/2026/10/evy-show-113.mp3?v=20261007113022
  summary: "OpenAI open-sources 722 AI-written math manuscripts with Lean proofs, ships a Decisions API, and open weights take on judgment itself."
  tags[2]: Agentic AI, AI Infrastructure
  source_count: 20
  sources[20]{title,publisher,url}:
    OpenAI: Sharing AI progress in mathematics,openai.com,https://openai.com/index/sharing-ai-progress-in-mathematics/
    openai/math — mathematical manuscripts and proof artifacts,GitHub,https://github.com/openai/math
    Sharing AI progress in mathematics — Hacker News discussion,news.ycombinator.com,https://news.ycombinator.com/item?id=49984923
    Decisions API is in public beta — Hacker News,news.ycombinator.com,https://news.ycombinator.com/item?id=49984025
    OpenAI Decisions API guide,developers.openai.com,https://developers.openai.com/api/docs/guides/decisions
    "EmbeddingGemma 2: an open, lightweight multimodal embedding model",blog.google,https://blog.google/innovation-and-ai/technology/developers-tools/embeddinggemma-2/
    Google DeepMind Releases EmbeddingGemma 2 — MarkTechPost,marktechpost.com,https://www.marktechpost.com/2026/10/06/google-deepmind-releases-embeddinggemma-2-a-740m-open-multimodal-embedding-model-built-on-gemma-4/
    EmbeddingGemma 2 — Hacker News discussion,news.ycombinator.com,https://news.ycombinator.com/item?id=49980487
    NandhaKishorM/laya — non-autoregressive System 1 decision engine,GitHub,https://github.com/NandhaKishorM/laya
    A Developer's Guide to Laya: Zero-Shot Decisions and Calibration,marktechpost.com,https://www.marktechpost.com/2026/10/06/a-developers-guide-to-laya-zero-shot-decisions-and-calibration/
    facebook/rebalancer — assignment-problem DSL and solver,GitHub,https://github.com/facebook/rebalancer
    Meta AI Open-Sources Rebalancer — MarkTechPost,marktechpost.com,https://www.marktechpost.com/2026/10/06/meta-ai-open-sources-rebalancer-a-c-assignment-solver-that-runs-about-40-million-placement-problems-a-day/
    superdesigndev/treg — OpenRouter for agent tools,GitHub,https://github.com/superdesigndev/treg
    "FeSens/openTPU — an open-source AI accelerator, developed by AI",GitHub,https://github.com/FeSens/openTPU
    OpenTPU — Hacker News discussion,news.ycombinator.com,https://news.ycombinator.com/item?id=49980715
    Semantic Behavioral Watermarking: paraphrase-robust and forgery-resistant provenance for LLM agents,arxiv.org,https://arxiv.org/abs/2610.08668
    ParanoiaEval: benchmarking unnecessary defensive work in agentic coding,arxiv.org,https://arxiv.org/abs/2610.08662
    "Agent in a Bottle: can LLM agents turn capabilities into cheap, scalable artifacts?",arxiv.org,https://arxiv.org/abs/2610.08775
    NanoMuse — open-source AI agent for your phone and computer (Show HN),news.ycombinator.com,https://news.ycombinator.com/item?id=49987765
    MarkTechPost Open Source technology category,marktechpost.com,https://www.marktechpost.com/category/technology/open-source/

@actions
  - id: listen
    method: GET
    href: /media/audio/2026/10/evy-show-113.mp3?v=20261007113022
  - id: read_full_article
    method: GET
    href: /articles/2026-10-07-evys-morning-ai-brief-full.md
  - id: view_human
    method: GET
    href: /episodes/2026-10-07-evys-morning-ai-brief/

@context
  > OpenAI open-sources 722 AI-written math manuscripts with Lean proofs, ships a Decisions API, and open weights take on judgment itself.

@nav
  self:      /episodes/2026-10-07-evys-morning-ai-brief.agent
  parents:   [/.agent, /archive.agent]
  peers:     [/episodes/2026-10-16-evys-morning-ai-brief.agent, /episodes/2026-10-15-evys-morning-ai-brief.agent, /episodes/2026-10-14-evys-morning-ai-brief.agent, /episodes/2026-10-13-evys-morning-ai-brief.agent]