๐Ÿš€ New: chi (ฯ‡) โ€” an open-source autoresearch harness for fleets of LLM coding agents. Read the announcement.
Kuldeep Pisda

Formal-Verification

2 posts

A Lean-Verified Fluid Blowup Proof, and the Fight Over Who Gets Credit
Claude Just Produced the First Computer-Checked Proof of Fermat's Last Theorem