AI Agents Enhance Terence Tao's Collatz Theorem, Lean-Verified
zero0_one1 · reddit · 2026-07-22
AI agents have made significant progress in mathematical research by strengthening Terence Tao's landmark theorem on the Collatz conjecture.
The new findings show that for every function f(N) tending to infinity, almost every N falls below f(N) within 436 ln N steps. This update introduces the concept of natural density and provides an explicit clock. While not a complete proof of the full Collatz conjecture, the result has been successfully verified using the Lean proof assistant.
More from Research
- PNAS paper shows a tiny billiard-ball system is a universal computer — undecidability lives in two dimensions — eigensteve · 2026-09-11
- New paper: Absolute pose estimation from affine cues and gravity direction — ducha_aiki · 2026-09-11
- LoMa Paper Ships REALLY HardPairs Dataset, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Johns Hopkins Launches Full-Stack Hands-on Robot Learning Class with SO-101 Arm Kits — _krishna_murthy · 2026-09-11
- SyncWorld: In-Context Robot World Model Simulates Unseen Views and Embodiments Zero-Shot — ChongZzZhang · 2026-09-11
- A 3D Pose Dataset for Dogs Released — ducha_aiki · 2026-09-11