descriptive claim
AI systems can produce rudimentary new mathematical theories and prove interesting conjectures by making connections.
Ryan Greenblatt · Ryan Greenblatt – What happens once AI can automate AI research? · 11 Aug 2026
In their words
The transcript segments this claim was taken from
“the thing I would say is that the AIs can do the equivalent of like baby's first new theory or whatever,”
“where like, for example, they can just like prove interesting conjectures via like making connections and.”Play from 10:51Report a misattribution
85%how strongly it was put, not whether it is true
70%importance to the conversation
91%confidence the claim was read correctly