#Lean
2 articles with this tag
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.
about 1 month ago

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.
about 2 months ago