Terrence Tao remarks

Explain Like I'm Normal

World-renowned mathematician Terence Tao shared updated thoughts on LLMs like OpenAI's o1, noting their ability to assist in formalizing complex proofs and generating non-trivial mathematical ideas. While they still struggle with high-level conceptual leaps, he suggests the 'automated mathematician' is moving from sci-fi to a viable research tool. This signals a shift toward LLMs becoming useful for verification rather than just simple calculation.