Natural-language reasoning is more human-readable than the alternative being discussed.

“it's more human readable right for lean they're not enough data for lean right they're like probably 1 million tokens in about lean right now and and I know a lot of like professors and PhD researchers are trying to build the biggest lean data set in the future if we really can reach like 1 trillion token I think then you can start”