OpenAI says its AI system proved that a fluid can start at rest and develop infinite speed in finite time. Here’s what the claim means, what Lean checks, and why mathematicians are still reviewing it.
Choose any positive whole number. If it is even, divide it by 2. If it is odd, multiply it by 3 and add 1. Then repeat. This is the Collatz conjecture, one of mathematics’ most famous open problems. The rule can be followed with a calculator, a spreadsheet, or a few lines of code. Yet […]