Tag: Lean

1. A developer used AI agents to prove an open math conjecture (overreacted.io)
   AI · 1 month ago · September 19, 2026

← all tags