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.”10:51Report a misattribution
0.85how strongly it was put, not whether it is true
0.70importance to the conversation
0.91confidence the claim was read correctly