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
- π0.5 study: raising demos from 10 to 438 lifts Place Ball in Bowl success from 7% to 83% — stingning · 2026-10-27
- HandsOn benchmark: 66 verified tasks and 18,000 human demos for dexterous manipulation — stingning · 2026-10-27
- HandsOn benchmark: 66 human-verified tasks and 18,000 curated demos for dexterous manipulation — stingning · 2026-10-27
- HandsOn splits evaluation: Core-50 execution vs Transfer-16 zero-demo transfer — stingning · 2026-10-27
- Best policy hits only 29.1% on HandsOn; tool use drops to 2.9%, transfer near zero — stingning · 2026-10-27
- FrontierCS 2 launches on Kaggle: 48 tasks make agents beat published CS papers — MeganRisdal · 2026-10-27