AI agents improve Terence Tao's Collatz theorem bound

AI agents helped prove that for any function f(N)→∞, almost all N reach below f(N) in at most 436 ln N steps. The result is Lean-verified and establishes natural density, but does not prove the full conjecture.

Featured · Terence Tao