Speaker Notes

AI for science

Models for biology, chemistry and drug discovery.

3talks
53answers
1mainly about it
3new
DecJanFebMarAprMayJunJulAugSepOctNov

What your library answers 53

How has the primary bottleneck in scientific research shifted with the advent of AI?

As AI drives down the cost of generating ideas, the primary bottleneck shifts to verification, validation, and filtering out noise. Human reviewers are currently overwhelmed by AI-generated submissions, requiring new structures to assess which ideas truly move a subject forward.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 12:18 Terence Tao – How the world’s top mathematician uses AI

How do AI models currently perform when tackling large sets of mathematical problems like the Erdős problems?

Frontier models successfully solved about fifty low-hanging problems initially, but progress hit a plateau as pure one-shot solutions stopped working. Researchers now combine AI to generate proof strategies with separate tools for critique, rewriting, and data generation.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 30:41 Terence Tao – How the world’s top mathematician uses AI

What are the neural scaling laws and how did they change machine learning?

The neural scaling laws paper published by OpenAI argued against traditional machine learning practices like restricting training sets to avoid overfitting. Instead, the approach dictates that training on massive amounts of data will make models universally capable as long as compute scales, providing the rationale for building massive LLMs.

Thumbnail: Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026 ▶ 13:37 Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026

What are the key differences between how humans and AIs approach mathematical research?

AI models excel at breadth by exploring many possibilities at once, whereas human experts specialize in depth. Current mathematical structures are built around human depth, meaning science needs to be redesigned to take full advantage of AI's broad mapping capabilities.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 35:19 Terence Tao – How the world’s top mathematician uses AI

How are developer tools using AI agents in practice?

Senior developers are integrating AI models directly into workflows so that tools are wired into GitHub and can handle assigned issues. These agent models iterate on code to produce pull requests, allowing developers to argue with the tool for further tuning. This approach has delivered extraordinary results for some teams, though it still requires hands-on management.

Thumbnail: Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026 ▶ 24:36 Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026

Why is evaluating scientific progress often dependent on the future rather than objective metrics?

The fruitfulness of an idea depends on subsequent societal adoption, standardization, and how other scientists build upon it. Because historical context and social inertia shape what becomes standard, individual achievements cannot always be objectively graded in isolation.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 16:20 Terence Tao – How the world’s top mathematician uses AI

How does AI impact a mathematician's daily productivity?

AI dramatically speeds up secondary and auxiliary tasks like literature searches, reformatting, and generating plots or code rather than solving the core, difficult parts of a problem. Terence Tao notes that while papers become richer and broader with more numerics, the time required to solve fundamental math problems hasn't drastically decreased. The core creative work still relies heavily on human pen-and-paper effort.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 48:06 Terence Tao – How the world’s top mathematician uses AI

What are the actual success rates of AI models when applied to hard mathematical problems?

Systematic studies show that AI tools have a success rate of only 1% to 2% on any given difficult problem. Although social media highlights impressive outlier successes like the Erdős problems, those were mostly problems without existing literature. Buying massive inference compute allows models to test many variants and pick the few winners, masking the high failure rate.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 44:40 Terence Tao – How the world’s top mathematician uses AI

How do formal proof assistants like Lean change how proofs are analyzed?

Formalizing proofs in systems like Lean enables researchers to examine individual steps, lemmas, and theorems atomically. Instead of wading through unstructured prose where critical insights are buried in boilerplate, mathematicians can isolate specific steps to see what drives the proof. This also opens the door for other AIs or ablation techniques to refine and refactor giant generated proofs.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 56:26 Terence Tao – How the world’s top mathematician uses AI

Why is hyper-optimization and the elimination of inefficiency dangerous for scientific progress?

Highly optimized, scheduled workflows destroy the valuable serendipity that comes from casual hallway interactions or browsing physical library journals. When everything is instant and search-driven, researchers miss out on accidental discoveries and lateral insights. This friction reduction can ultimately inhibit certain types of unexpected scientific breakthroughs.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 1:14:45 Terence Tao – How the world’s top mathematician uses AI

How should early-career mathematicians adapt to the rise of AI in their field?

Early-career mathematicians must cultivate high adaptability because standard educational paths and long-standing practices are undergoing rapid revolution. With AI tools and formal frameworks lowering the barrier, high school students can now contribute directly to real math projects earlier than before. While traditional education remains important for credentials, staying open to non-traditional workflows is essential.

Thumbnail: Terence Tao – How the world’s top mathematician uses AI ▶ 1:22:49 Terence Tao – How the world’s top mathematician uses AI

Why is surgical regulation necessary for advanced AI models?

Uniform regulation prevents a race to the bottom where uncoordinated labs ignore safety protocols, creating negative externalities for the entire industry. However, regulations must be carefully targeted to avoid creating unnecessary burdens that trigger a backlash against accountability. Thoughtful collaboration between proponents and opponents is essential to strike the right balance.

Thumbnail: Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452 ▶ 1:22:28 Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452

Why does talent density matter more than talent mass in AI teams?

A smaller team of uniformly exceptional and mission-aligned individuals sets a high standard of mutual trust and inspiration. Conversely, larger teams with mixed talent levels require bureaucratic processes and politics that severely slow down execution. Maintaining high talent density acts as a powerful superpower for overcoming structural disadvantages.

Thumbnail: Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452 ▶ 1:39:24 Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452

What is the most important trait for a great AI researcher?

Open-mindedness and a willingness to view problems with fresh eyes are critical for driving true breakthroughs. Major advancements often stem from simple variations, such as scaling parameters, rather than complex architectural designs. Researchers should actively look for fertile, under-researched areas like mechanistic interpretability rather than following the crowd.

Thumbnail: Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452 ▶ 1:42:08 Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & Humanity | Lex Fridman Podcast #452