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

Formal-Verification

1 post

Claude Just Produced the First Computer-Checked Proof of Fermat's Last Theorem