It could not be done without Aristotle (https://arxiv.org/pdf/2510.01346), as clearly described in Tao's posts.
Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.
Aristotle is an LLM system.
alt Hacker News
Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.