blog-feed.json

[
  {
    "title": "Neural Concept Verifiers: Proving with Concepts, not Pixels",
    "link": "http://www.pokutta.com/blog/neural-concept-verifier/",
    "summary": "TL;DR: This is a short summary of our paper Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings by Berkant Turan, Suhrab Asadulla, David Steinmann, Kristian Kersting,\u2026",
    "date": "2026-07-09"
  },
  {
    "title": "The Zeroth World: A Seven-Year Update",
    "link": "http://www.pokutta.com/blog/zeroth-world-update/",
    "summary": "TL;DR: Seven years ago I argued that AI could enable a zeroth world: economies operating at a multiple of first-world productivity, the way the first world operates at a multiple of the third. The\u2026",
    "date": "2026-06-12"
  },
  {
    "title": "The Hidden Cost of Tokenization",
    "link": "http://www.pokutta.com/blog/hidden-cost-tokenization/",
    "summary": "TL;DR: This is a short summary of our position paper The Hidden Cost of Tokenization: Why (most) Non-English Speakers Pay More for Less by Jennifer Haase and Sebastian Pokutta. The basic point is\u2026",
    "date": "2026-05-14"
  },
  {
    "title": "Not every discovery needs an LLM",
    "link": "http://www.pokutta.com/blog/not-every-discovery-needs-an-llm/",
    "summary": "TL;DR: AI-driven scientific discovery with systems such as AlphaTensor, AlphaEvolve, etc is en vogue and we are also heavily invested in that space. However, these LLM- and RL-driven approaches,\u2026",
    "date": "2026-04-23"
  },
  {
    "title": "An uncommon approach to lower bounds for Frank-Wolfe on strongly convex sets",
    "link": "http://www.pokutta.com/blog/fw-lower-bounds-sc/",
    "summary": "TL;DR: This is a short summary of our paper Lower Bounds for Frank-Wolfe on Strongly Convex Sets by Jannis Halbey, Daniel Deza, Max Zimmer, Christophe Roux, Bartolomeo Stellato, and Sebastian\u2026",
    "date": "2026-04-13"
  }
]