AI agents strengthen Terence Tao's Collatz theorem

AI agents helped strengthen a theorem by Terence Tao on the Collatz conjecture, proving that for each f(N) → ∞, almost every N falls below f(N) within 436 ln N steps. The result covers natural density and an explicit clock, but not the full conjecture, and is verified in Lean.

Featured · Terence Tao