Savlar4 sources healthy · latest episode 15 Oct 2026
descriptive claim

The speaker says that, to their knowledge, AI has not yet produced very impressive new mathematical theory, while it has produced impressive verifiable results such as finding counterexamples to conjectures.

Dwarkesh Patel · Ryan Greenblatt – What happens once AI can automate AI research? · 11 Aug 2026

In their words

The transcript segments this claim was taken from

“as far as I'm aware,”
“we have not seen very impressive new theory.”
“We've seen a lot of like impressive verifiable.”
“fireball specific results for example find a counter example to this conjecture but we have not seen like come up with the idea of topology kinds of levels of things or”
Play from 9:40Report a misattribution
70%how strongly it was put, not whether it is true
75%importance to the conversation
94%confidence the claim was read correctly