Tag
Terence Tao discusses how AI is dramatically accelerating math research, reducing the years of education needed to contribute to the frontier.
Martin Shkreli shares OpenAI's statement that AI gives researchers freedom to pursue 'crazier' ideas, quoting Terence Tao on AI's role in enabling more experimentation and discovery.
Terence Tao discusses how AI reduces cognitive friction, allowing researchers to pursue more creative and unconventional ideas.
Terence Tao and Mark Chen discuss how AI is changing mathematical research, from literature search to code generation, and the need to adapt workflows.
OpenAI shares Terence Tao's view that AI can give researchers more freedom to experiment with 'crazier' ideas and explore unexpected paths.
Terence Tao demonstrates how to use Claude Code as a red teaming tool to align Lean code style with Mathlib's official style guide, using the Riemann–Stieltjes integral formalization project as an example. The demonstration showcases the practical value of AI in code auditing and style alignment.
Terence Tao pointed out that the math behind current LLMs is actually very simple, but the real puzzle lies in the intermediate zone of natural language data, which leads to unpredictable model behavior.
Terence Tao states that the mathematics underlying modern LLMs is simple, using basic linear algebra and calculus, but the unpredictability of model performance across tasks remains a mystery due to the complex nature of natural language data.
Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.