AI agents strengthen Terence Tao's Collatz theorem

For each function f(N) tending to infinity, almost every N falls below f(N) within 436 ln N steps. The result, proved with AI agent assistance, includes natural density and an explicit clock, and is fully verified in Lean. The proof does not resolve the full Collatz conjecture.

Featured · Terence Tao