Terence Tao: AI tool helps prove Sendov's conjecture for all degrees
andrew_n_carr · x · 2026-08-14
In a blog post, Terence Tao reports that Lech Mazur used an AI tool to resolve Sendov's conjecture for all degrees, with the proof verified. The conjecture concerns the distance between zeros and critical points of polynomials. Tao provides a detailed digestion of the proof and discusses AI's role in mathematical research.
Related event: Terence Tao Uses AI to Help Prove the Sendov Conjecture(3 posts)→
More from AGI Musings
- OpenAI's internal model shows real math "research taste," experts say its proofs go beyond prior literature — cong_ml · 2026-10-16
- willcb: AI's endpoint looks like faster, cheaper human-reasoning-on-chip — willcb · 2026-10-16
- AI Alignment's Problem May Be Its Researchers Are Too High-Functioning — teortaxesTex · 2026-10-16
- This vintage-style 'linguistic evolution' chart showing computers breaking humanity's language ceiling is going viral in AI circles — repligate · 2026-10-16
- Movie props are getting accidentally accurate: AI now makes throwaway fake forms default-correct — mike64_t · 2026-10-16
- AI circles debate whether a recent PhD signals poor judgment as credentials lose meaning — repligate · 2026-10-16