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
- ICML 2026 oral paper replication scores stay middling after a stricter re-scoring — profjamesevans · 2026-07-27
- Long-running agents will need immutable event logs, this thread argues — sebpaquet · 2026-07-27
- Seed IQ navigates Doom II, prompting questions about benchmarks beyond ARC-AGI — Fit_Transition8824 · 2026-07-27
- Agentic Data Science in Practice: Agents Write Code but Answer Wrong Questions — hugobowne · 2026-07-27
- A concise canon of foundational papers in ML, systems, NLP, speech, and audio — deliprao · 2026-07-27
- TechCrunch says brain-wave signals could be the next unlock for physical AI training — TechCrunch AI · 2026-07-27