ИИ. Без шума.

Ватикан, AlphaProof, coding agents, auth.md

Listen Later
Ватикан, AlphaProof, coding agents, auth.mdВатикан, AlphaProof, coding agents, auth.md

Сегодня: энциклика об ИИ и спор об интроспекции моделей, AlphaProof Nexus с формальными доказательствами, трезвый раскол вокруг coding agents, hallucinated citations, агентная авторизация, бюджеты токенов и локальные VLM для документов.

Stories
  • At the Vatican launch of an AI encyclical, Anthropic's Christopher Olah argued models show signs of introspection while the document warned they imitate intelligence. — AI ethics enters religious and institutional language while Anthropic argues for model introspection
  • Google DeepMind's AlphaProof Nexus solved nine open Erdős problems using Lean verification at a few hundred dollars per problem, though success stayed near 2.5 percent. — formal proof systems turn frontier math into cheap verified search with low hit rates
  • A widely discussed essay argued for using AI to write better code more slowly, turning coding assistants into deliberate review partners instead of speed machines. — developers frame AI coding as slower but better review-oriented practice rather than pure acceleration
  • George Hotz warned coding agents could become one of software's most costly mistakes because fast prototypes hide increasingly subtle bugs. — coding-agent skepticism hardens around hidden bugs and prototype quality debt
  • Researchers introduced CiteVQA to test attribution hallucination, showing AI systems often cite passages that do not support their correct answers. — attribution hallucination becomes a measurable risk even when answers are correct
  • OpenAI announced a strategic content partnership with Grupo Folha and Grupo UOL to bring Brazilian journalism into ChatGPT with attribution. — OpenAI expands news licensing and attribution partnerships beyond US and European publishers
  • Hugging Face published a glossary for harnesses, scaffolds and other agent terms, trying to make agent discussions less ornamental and more precise. — agent deployment needs shared vocabulary before autonomy can be governed or debugged
  • Together AI open-sourced OSCAR, an attention-aware 2-bit KV cache quantization method for long-context LLM serving. — long-context serving pressure pushes KV cache compression into attention-aware 2-bit methods
  • WorkOS released auth.md, a proposed Markdown-based protocol for agents to discover registration flows, scopes and credential requirements. — agent authentication shifts from human sign-up pages toward machine-readable registration contracts
  • Uber's COO said it is getting harder to justify money spent on AI token usage, turning tokenmaxxing into a finance problem. — enterprise buyers are scrutinizing token burn as AI spending moves from experiment to operating cost
  • Scientists trained an AI model using an IBM quantum computer and reported correct answers the base model missed. — quantum-assisted AI claims remain intriguing but need careful separation of benchmark signal from marketing fog
  • The Financial Times covered Heretic, extending the debate about derivative open-weight models and legal pressure beyond specialist forums. — follow-up: open-weight legal pressure becomes mainstream business coverage
  • NuExtract3 was released as an open-weight 4B VLM for Markdown, OCR and structured extraction that can be self-hosted. — small self-hostable VLMs push document extraction into local workflows
  • Claw-Anything benchmarked always-on personal assistants with broader access to a user's digital world, exposing how narrow current agent tests are. — agent benchmarks expand toward always-on assistants with broad access to a user's digital world
    • ...more
    View all episodesView all episodes
    Download on the App Store
    ИИ. Без шума.By Marvin