Tamay Besiroglu

And that makes them very effective in a bunch of ways.

But you might ask the question, has a reasoning model ever come up with a math concept that even seems like slightly interesting to a human mathematician?

Yeah.

And I've never seen that.

And then I just want to emphasize it, because just think about the sheer scale of knowledge that these models have.

It's enormous from a human point of view.

So it is actually...

like quite remarkable that like there is no interesting recombination no interesting oh like this thing in this field looks kind of like this thing in this other field there's no like innovation that comes out of that and like it doesn't have to be like a big math concept it could be just like a small thing that maybe you could add to like a I don't know

like Sunday magazine on math that people used to have.

But there isn't even like an example of that.

FRANCESC CAMPOY- Are there even stronger examples like multiplying 100-digit numbers in your head, which is the one that got solved first out of almost any other problem?

Or like following very complex sort of symbolic logic arguments, like deductive arguments, which people actually struggle with that a lot.

Like how do premises logically follow from conclusions?

People have a very hard time with that.

Very easy for formal proof systems.

It isn't getting most of the enterprise revenue from places like Courser or whatever.

Like, that's just clod, right?

Right.

So I would say if you're comparing animals to humans, it's kind of a different thing.

I think animals, like if you could put the competences that the animals have into AI systems, that might just already get you to like AGI, like already.