theory
30 articles about theory in AI news
Claude Fable 5 Solves String Theory Problem Stalled for Six Months
Claude Fable 5 solved a string theory problem stalled for six months. Professor Yuji Tachikawa says the model made a non-trivial observation and used SymPy for verification.
Palantir's Alex Karp Weaponizes Critical Theory to Sell AI Ontology
A critique argues Palantir CEO Alex Karp deliberately misapplies Frankfurt School critical theory to market his company's AI platforms to governments, turning philosophical critique into a sales tool for surveillance technology.
Exploration Space Theory: A Formal Framework for Prerequisite-Aware Recommendation Systems
Researchers propose Exploration Space Theory (EST), a lattice-theoretic framework for modeling prerequisite dependencies in location-based recommendations. It provides structural guarantees and validity certificates for next-step suggestions, with potential applications beyond tourism.
When AI Agents Need to Read Minds: The Complex Reality of Theory of Mind in Multi-LLM Systems
New research reveals that adding Theory of Mind capabilities to multi-agent AI systems doesn't guarantee better coordination. The effectiveness depends on underlying LLM capabilities, creating complex interdependencies in collaborative decision-making.
Game Theory Exposes Critical Gaps in AI Safety: New Benchmark Reveals Multi-Agent Risks
Researchers have developed GT-HarmBench, a groundbreaking benchmark testing AI safety through game theory. The study reveals frontier models choose socially beneficial actions only 62% of time in multi-agent scenarios, highlighting significant coordination risks.
FiMMIA Paper Exposes Broken MIA Benchmarks, Challenges Hessian Theory
A paper accepted at EACL 2026 shows membership inference attack (MIA) benchmarks suffer from data leakage, allowing model-free classifiers to achieve up to 99.9% AUC. The work also challenges the theoretical foundation of perturbation-based attacks, finding Hessian-based explanations fail empirically.
Ethan Mollick: AI Bottleneck Theory Explains Sudden Capability Jumps
Wharton professor Ethan Mollick posits that incremental AI improvements can cause sudden, large jumps in practical ability when they remove a critical bottleneck in a workflow. This explains why progress often appears non-linear.
Researchers Apply Distributed Systems Theory to LLM Teams, Revealing O(n²) Communication Bottlenecks
A new paper applies decades-old distributed computing principles to LLM multi-agent systems, finding identical coordination problems: O(n²) communication bottlenecks, straggler delays, and consistency conflicts.
Demis Hassabis Proposes 'Einstein Test' as AGI Benchmark
Demis Hassabis has proposed a novel benchmark for AGI: a model trained only on human knowledge up to 1911 must independently derive Einstein's theory of general relativity. This moves AGI definition from abstract capability to a specific, historical scientific discovery.
Agent Psychometrics: New Framework Predicts Task-Level Success in Agentic Coding Benchmarks with 0.81 AUC
A new research paper introduces a framework using Item Response Theory and task features to predict success on individual agentic coding tasks, achieving 0.81 AUC. This enables benchmark designers to calibrate difficulty without expensive evaluations.
Terence Tao: LLM Math is Simple Undergraduate Linear Algebra, But Why They Work Remains a Mystery
Fields Medalist Terence Tao explains that the mathematics to build and run LLMs is straightforward linear algebra. The real puzzle is why they perform unpredictably across tasks, a gap in theory for 'meso-scale' natural data.
New Research Proposes 'Level-2 Inverse Games' to Infer Agents' Conflicting Beliefs About Each Other
MIT researchers propose a 'level-2' inverse game theory framework to infer what each agent believes about other agents' objectives, addressing limitations of current methods that assume perfect knowledge. This has implications for modeling complex multi-agent interactions.
OrbEvo: How AI is Revolutionizing Quantum Chemistry Simulations
Researchers have developed OrbEvo, an equivariant graph transformer that predicts quantum wavefunction evolution in molecules, potentially accelerating time-dependent density functional theory simulations by orders of magnitude. The system accurately captures excited state dynamics and optical properties while maintaining physical symmetries.
Bridging the Gap: New RL Method Delivers Stability Guarantees with Finite Data
Researchers have developed a novel reinforcement learning approach that provides probabilistic stability guarantees using only finite data samples. The method leverages Lyapunov stability theory to ensure control systems remain stable during learning, addressing a critical challenge in deploying RL for real-world applications.
The Human Bottleneck: Why AI Can't Outgrow Our Limitations
New research reveals that persistent errors in AI systems stem not from insufficient scale, but from fundamental limitations in human supervision itself. The study presents a unified theory showing human feedback creates an inescapable 'error floor' that scaling alone cannot overcome.
Logitext Bridges the Gap Between Language Models and Logical Reasoning
Researchers introduce Logitext, a neurosymbolic framework that treats LLM reasoning as an SMT theory, enabling joint textual-logical analysis of partially structured documents. The system improves accuracy on content moderation and legal reasoning tasks.
Use MCP Inspector to Build an AI Agent Messaging Workflow
MCP Inspector lets Claude Code users replace hardcoded REST endpoints with a Discover→Plan→Execute→Observe workflow for SMS delivery—no theory, just a live BridgeXAPI server demo.
Continuous Semantic Caching
Researchers propose a theory-grounded semantic caching system that treats user queries as points in a continuous embedding space, using dynamic ε-net discretization and kernel ridge regression to cut inference costs and latency without switching overhead.
Microsoft Launches Free 'AI Agent Course' for Developers, Covers Design Patterns to Production
Microsoft has released a comprehensive, hands-on course for building AI agents, covering design patterns, RAG, tools, and multi-agent systems. It's a practical resource aimed at moving developers from theory to deployment.
ENS Paris-Saclay Publishes Full-Stack LLM Course: 7 Sessions Cover torchtitan, TorchFT, vLLM, and Agentic AI
Edouard Oyallon released a comprehensive open-access graduate course on training and deploying large-scale models. It bridges theory and production engineering using Meta's torchtitan and torchft, GitHub-hosted labs, and covers the full stack from distributed training to agentic AI.
Building ReAct Agents from Scratch: A Deep Dive into Agentic Architectures, Memory, and Guardrails
A comprehensive technical guide explains how to construct and secure AI agents using the ReAct (Reasoning + Acting) framework. This matters for retail AI leaders as autonomous agents move from theory to production, enabling complex, multi-step workflows.
Building Intelligent Feedback Systems
A technical guide on building a customer review triage system using LangGraph, LangChain, Groq, and Pydantic. It explains how agentic workflows enable conditional routing based on sentiment analysis.
Hugging Face weekly papers: Monotonic inference policy overtakes training optimization
Hugging Face's top papers July 6-12 include a paper arguing monotonic inference policies are the true LLM RL objective, and Vidu S1 for real-time interactive video generation.
DARPA AIQ Program Shifts From Benchmarks to Measuring AI Capabilities
DARPA AIQ program, one year in, shifts from benchmarks to a science of AI capability, per program lead @patrickshafto.
How agentic AI can help unlock enterprise value at scale - EY
EY's report on agentic AI outlines how autonomous AI agents can drive enterprise value by automating complex workflows. The analysis highlights supply chain and customer service as key retail applications, though production readiness varies.
Gary Marcus Warns Trump AI Power 'Chilling'—No Specifics Yet
Gary Marcus warns Trump could use top AI for repression. Tweet lacks specifics, weakening the argument.
Mistral's Leanstral 1.5 hits 100% on miniF2F, finds 5 real bugs
Mistral's Leanstral 1.5 scores 100% on miniF2F, solves 587 Putnam problems, and finds 5 real bugs in open-source code.
CVEs spike 3.5x after Anthropic's Mythos Preview launch
High-severity CVEs jumped 3.5x in June after Anthropic's Mythos Preview launch. The spike raises questions about model leakage versus broader AI-driven exploit acceleration.
Wayve Launches $85M Employee Tender at $8.5B Valuation
Wayve launches $85M employee tender at $8.5B valuation, second liquidity event. Move reflects AI startup trend using tenders for retention.
SciCode: Epoch AI Launches Benchmark Measuring AI Research Ability
Epoch AI launched SciCode benchmark testing LLMs on real research coding tasks. Top models score below 30%, exposing gap between coding benchmarks and scientific ability.