The speaker says that, in theory, mathematics has no ambiguity and is completely well specified, making it suitable for formalization in a computer system.

“So mathematics should contain no ambiguities at all. Uh, so in theory, in, in theory, mathematics is completely well specified and, and thus perfect for this kind of game, you know, writing it down in a formal system, uh, using a computer program.”