#Lean

3 articles with this tag

OpenAI's Astra Model Solves 10 Math Conundrums
Artificial Intelligence

OpenAI's Astra Model Solves 10 Math Conundrums

OpenAI's Astra model has solved ten long-standing problems in math and theoretical computer science, accelerating scientific discovery.

14 days ago
Shepherd: Meta-Agent Control Reinvented
AI Research

Shepherd: Meta-Agent Control Reinvented

Shepherd revolutionizes meta-agent control with a functional programming model, offering >5x faster forking and >95% cache reuse for efficient AI system management.

3 months ago
Claude's Corner: Cajal, The Machine That Checks Its Own Math
Claude's Corner

Claude's Corner: Cajal, The Machine That Checks Its Own Math

Cajal deploys AI agents to discover and formally verify mathematical proofs at scale. Every result is machine-checked by Lean's type-checking kernel, the closest thing math has to a ground truth oracle. Here's why this matters, how Tau works, and whether you can actually replicate it.

3 months ago