Andy Halliday

to the advances that have been done by a company that's focused AI and the development of AI in a novel way in the world of theoretical mathematics.

And that's Axiom Math or Axiom AI, which is the company that is in the news right at the moment because it's just announced in this past week that it's solved four previously unsolved math problems.

using the Axiom Math platform, which focuses on proofs as the objective function, right?

So you have to be able, if you're going to advance and prove something that's theoretical in math, then you have to focus on that proofing process.

And that's what this AI Axiom Math is exceptionally good at.

And it was, by the way, founded, this is old news, but founded by, I think, a 24-year-old Stanford PhD student, a female.

I don't know her name off the top of my head.

So there's a lot to be watching about these really...

cutting edge research facilities ineffable intelligence with david silver the person behind or the leader behind deep minds accomplishments and reinforcement learning and over here i'm sorry i don't know her name but look up axiom math uh and and axiom ai and the the young woman

who's a math prodigy or not.

I think if I recall correctly, she's, she's not really a mathematician herself, but she's, she's put together the platform that can be the math expert.

So a really incredible accomplishment there to solve things that the most capable mathematicians in the world have not been able to solve previously.

Now her platform has done so.

Yeah, this is all about reasoning.

I have in my notebook, LM, a notebook that's collected now, I don't know, 25 or so different research papers and other articles about advances in reasoning in the progression towards artificial general intelligence, AGI, and

Ineffable intelligence from David Silver is going to be along that path, right?

And there'll be news that comes out of that new initiative that he's forming outside of DeepMind and all around one of the key component technologies of reasoning, which is reinforcement learning.

From open AI, right?

Yeah, that's pure research, I think, for him at this moment.

But when you do achieve superintelligence in the research lab, then that can be used to generate products, you know, with a wide range of applications.