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.
Quick summary The rule: Divide even positive integers by two; multiply odd ones by three and add one. The conjecture: Repeating the rule is proposed to reach one for every positive integer. Unexpected paths: A sequence can climb sharply before falling, as the article’s example starting at 27 illustrates. Evidence is not proof: Testing many […]