A Latent Space commentary argues that AI engineers are rediscovering formal ontologies as a mechanism to constrain probabilistic agents within deterministic boundaries. The piece frames this as a revival of Semantic Web ideas applied to agentic AI systems. The argument is that structured knowledge representations help manage the unpredictability of LLM-based agents in production.
Latent Space interviews Carina Hong of Axiom Math, a company focused on formal verification applied to AI-generated mathematics. The discussion centers on 'verified generation' and 'compounding intelligence' as frameworks for scaling AI reasoning beyond informal, unverified outputs. The piece is relevant to the growing intersection of formal methods, mathematical reasoning, and AI capability development.
Latent Space's AINews digest covers a period they're calling 'Meta-Harness Summer,' signaling a trend toward higher-order agent harness tooling — frameworks that orchestrate or compose other harnesses. The piece appears to be a community news roundup from a tier-2 commentary source. The framing suggests growing ecosystem maturity in agent orchestration tooling.
Paul Bakaus discusses 'skill engineering' as a design philosophy for AI-assisted workflows, arguing against fully automated one-shot AI pipelines in favor of keeping humans in the loop. The conversation centers on Impeccable, a tool or approach Bakaus is developing, and the concept of 'loopmaxxing' — iterative human-agent collaboration cycles. The piece addresses why current agents still require human steering to produce high-quality outputs.
Latent Space interviews Andy Beam and Rafa Gómez-Bombarelli of Lila Sciences, a lab building robotic scientific infrastructure to generate novel training data for AI. The core thesis is that scientific experimentation—not internet text—is the next major untapped data source for frontier AI. The piece covers what this looks like operationally, including a room full of robots conducting experiments.
This paper evaluates whether LLM-based agents still need structured semantic metadata (e.g., schema.org) for data retrieval, comparing a Baseline Agent searching open-web documents against a Semantic Agent leveraging 90 million schema.org-annotated datasets. Using an LLM-as-a-judge pipeline aligned to FAIR principles, the Semantic Agent achieves 65.7% higher overall precision in retrieving FAIR-compliant datasets, while the Baseline Agent answers 40% more questions but frequently returns prose-heavy or portal landing pages instead of actionable data. The study concludes that structured semantic ecosystems remain essential for reliable, execution-oriented agentic workflows despite LLMs' broad unstructured retrieval capabilities.
Latent Space's AINews digest spotlights a conceptual framework called 'Loopcraft' — described as the art of stacking loops — attributed to Peter Steinberger, Boris Cherny, and Andrej Karpathy. The piece appears to be a commentary or synthesis of ideas from these practitioners about agentic loop architectures or iterative AI workflows. The body is sparse, so the full technical substance is unclear from the excerpt alone.
A Latent Space daily AI news digest reflecting on the expanding scope of coding agents beyond software development into knowledge work and creative work domains. The piece uses OpenAI Codex and Anthropic Claude as anchoring examples of agents 'breaking containment' from their original coding/assistant niches. Published as a quieter news day commentary, it surveys the broadening agent ecosystem landscape.
A Latent Space podcast episode featuring Cognition's Walden Yan and OpenInspect's Cole Murray discussing the current state of autonomous software engineering agents. Topics include Devin's reported 80% commit rate, spec-to-PR workflows, full VM environments for agents, agent memory, and the emerging pattern of product managers shipping code directly. The conversation covers practical deployment patterns and tooling for async agentic coding workflows.