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

Ai-Research

1 post

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