- Kepler discovered planetary motion laws through a blend of creativity and data analysis, not solely through genius.
- AI reduces the cost of generating scientific ideas, shifting the bottleneck to verification and validation.
- The verification loop for correct scientific theories can span decades, often with initially worse predictions.
- AI excels at breadth and scale in science, while humans excel at depth and incremental progress.
- AI-assisted progress in mathematics includes solving 50 Erdős problems initially, but progress has plateaued.
- A semi-formal language for scientific strategies and plausibility assessment could enhance AI collaboration.
- Terry Tao emphasizes adaptability and serendipity over pure optimization in scientific careers.
- Human-AI hybrid collaboration will likely dominate advanced mathematics for an extended period.