AI agents strengthened Terence Tao's landmark Collatz theorem. For each f(N)→∞, almost every N falls below f(N) within 436 ln N steps. New: natural density and one explicit clock. Not the full conjecture. Lean-verified.
proofatlas.ai
AI agents strengthened Terence Tao's landmark Collatz theorem. For each f(N)→∞, almost every N falls below f(N) within 436 ln N steps. New: natural density and one explicit clock. Not the full conjecture. Lean-verified.