Keep pulling the thread on Terence Tao.
Johannes Kepler discovered that planetary orbits are ellipses, not circles, after his analysis of Tycho Brahe's data.
Terence Tao believes that AI has driven the cost of idea generation in science down to almost zero.
The current bottleneck in science is no longer hypothesis generation, but rather the verification and evaluation of the thousands of theories that can now be generated.
AI programs have solved approximately 50 out of the 1,100-odd Erdős problems.
Terence Tao believes AI tools will revolutionize the experimental side of mathematics by enabling large-scale data gathering on which techniques are effective.
In systematic studies of AI tools on math problems, the success rate for any given problem is only about 1% to 2%.
Terence Tao stands by his 2023 prediction that by 2026, AI will be a "trustworthy co-author" in mathematics if used correctly.
Current AI models lack the ability to build on partial progress cumulatively, as they forget previous interactions in a new session.
A failure of the Riemann hypothesis would imply a previously unknown secret pattern in the prime numbers, which would likely lead to the rapid abandonment of prime-based cryptography.
Terence Tao predicts that within a decade, many tasks that currently constitute the bulk of mathematicians' work will be automatable by AI.
Terence Tao believes that hybrid human-AI teams will dominate mathematics for a long time, and a full replacement of human mathematicians will require breakthroughs beyond current AI paradigms.
The astronomical data collected by Tycho Brahe was 10 times more precise than any previous observations.