Three mathematicians the speaker spoke with thought an LLM might not discover mathematics beyond the rational numbers.

“Question we were talking about was would an LLM rediscover essentially kind of human mathematics or how far along would it get? And there was, uh, the kind of the consensus among these three mathematicians I was talking with was that it would not necessarily discover more than the rational numbers.”