Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors present an alternative proof of the two-color partition regularity of Pythagorean triples, establishing that any 2-coloring of the natural numbers must contain a monochromatic solution to $a^2 + b^2 = c^2$. Moving beyond the famous 200-terabyte computer-assisted SAT proof from 2016, this new mathematical derivation was discovered directly by ChatGPT Astra. The result marks a concrete advance in LLM reasoning capabilities, showcasing a frontier model generating a genuinely novel combinatorial proof rather than simply verifying known arguments.
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.
We give a new proof that if the natural numbers are colored in two colors, then there exists a monochromatic Pythagorean triple. The proof was found by ChatGPT Astra.