Leanstral 1.5: Mistral's Open Theorem-Proving Model Hits 100% on miniF2F

Anthropic Discovers J-Space: A Global Workspace Inside Language Models

AI-Powered Translation of Logical Foundations Textbook Achieves 350x Speed-Up in Verified Software Engineering

Researchers present lf-lean, a verified translation of the entire Logical Foundations textbook from Rocq to Lean, accomplished using frontie

Orchestration design cuts enterprise AI token costs by 41% in controlled study

This article presents a formal analysis of token economics in enterprise agentic AI, arguing that the orchestration layer (the "harness") is

The Best Developer Social Networks in 2026

Tensor Logic: A Proposed Unified Language for Neural-Symbolic AI

This paper proposes "tensor logic" as a new programming language for AI that unifies neural and symbolic AI at a fundamental level. It argue

SpaceXAI launches Grok 4.5, its flagship AI model for coding and engineering tasks

SpaceXAI has launched Grok 4.5, their most advanced AI model designed for coding, agentic tasks, and knowledge work. Trained alongside Curso