Interesting, seems wsj does not allow archive.is through their paywall

Those two are definitely banging. Mark my words, write it down.

Honestly I can't fault people of joining the gold rush, while it is still red hot. Generational amounts of money is being made in a very short time.

I wonder if this is like when Thinking Machines Corporation hired Richard Feynman mostly to get a little clout. They didn't have a lot for him to do, and he thought they were a bunch of naive kids with an idea that would never work in the real world but had a fat pocketbook. In the end he was able to mathematically prove that they could safely do a hardware optimization, but they didn't believe him and tried to overprovision instead, but late in the design they ran short of transistors and had to trust his math. It worked, but the machine was still mostly useless even when it did work properly.

For anyone else who can't see the article:

> University of Virginia professor Ken Ono, one of the world's most prominent mathematicians, joins AI startup Axiom Math, which is building an “AI mathematician”