Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
A classic Ramsey-theoretic problem that once required the world's largest, 200-terabyte SAT proof has now yielded an entirely new proof discovered directly by ChatGPT.