Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems⭐7

Mistral AI releases Leanstral 1.5, an Apache-2.0 Lean 4 code agent solving 587 of 672 PutnamBench problems for advanced theorem proving.

Vercel Launches Eve: An Open-Source AI Agent Framework That Treats Each Agent as a Directory of Capability-Mapped Files⭐6

Vercel launches Eve, an open-source AI agent framework that treats each agent as a directory of capability-mapped files—simplifying development, testing, and sc...