Could you break down though, aside from somebody who's interested in developing new fields of mathematics or just making new proofs, it's-- what does this affect everything else? What is the impact of this going to be on science? What is the impact of, of the rest of what you're working on? Why is this really important and not just, "Oh, cool, it does math"?

So I think the, "Oh, cool, it does math" part, what did matter as we were developing those models as a good way to benchmark the progress.

The nice thing about mathematics is that the question are very clear, non-ambiguous.

You know, everybody agrees on what the question is asking.

So that's point number one.

Point number two, you can verify the answer.

So once a model can give an answer, everybody will agree was it correct or was it not correct.

Mm-hmm.