What we're seeing here is something of a slightly different nature, ind a slightly more kind of scientific pursuit, which is, ok, let's look at the data and see if we can find new connections that we haven't seen before. And so this is a great use of a i in coming up with new conjectures, rather than new proofs. And that's certainly an important part of doing mathematics. But i think it's important to kind of fy this isn't an n a i coming up with a new proof of the reman hypothesis, for example. This is an a i coming up with the idea of a new conjecture like the reman hypothesis, rather than the proof. So this is sort of finding the fertile ground in which to plant the gardens, rather than actually doing all the, you know, the gardening. Ya, actually, you know what, if you look back at the history of mathematics, this is a really important way that people came up with new insights. I man to think, if you look at karl fredrick gaus when he came up with his conjecture about the prime number theorem, about the way that primes thin out as we climb higher and higher through the universe of numbers, you know, the primes look very random. But he was able to t take the data, as you know, he took tables of primes and started to see a pattern which was connected to the logarithm function. And that gave him a conjecture. And it wasn't proved until cranof a hundred years later, that that connection was really a true connection. So the thing about data is that often you need a huge amount of data to really start to sniff out what's going on inside there. And now, so this is perfect territory for a machine learning and artificial intelligence beca, you know, there's a limit to how much our brains can take in and how much we can kind of see what's going on. And er, this is where collaborating with an a i that can say, ok, i'm happy to sweep through this data and try out various connections between two sets of data, and try and sniff out if i can see some functional relationship between those. And i can ina vary the functions around and start to see, oh my gosh, it's a very small bit of this data which is driving the other data set. So i compare it a little bit too.