LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

The currents of the oceans, the roiling surface of the sun, and the clouds of smoke billowing off a forest fire—all are ...