We need a semi-formal language for the way that scientists actually talk to each other

Kepler was a high temperature LLM

0:00

How would we know if there’s a new unifying concept within heaps of AI slop?

11:44

The deductive overhang

26:10

Selection bias in reported AI discoveries

30:31

AI makes papers richer and broader, but not deeper

46:43

If AI solves a problem, can humans get understanding out of it?

53:00

How Terry uses his time

1:09:48

Human-AI hybrids will dominate math for a lot longer

1:17:05