← Back to context

Comment by mlsu

1 day ago

It seems like there were a couple of human mathematicians that were higher on the 'solving complex problems ladder' than this machine.

Yes a couple of elite mathematicians working on the problem for a year, which AGI solved in a fraction of the time. What about everyone else 100IQ? What about as the models are even better 1 year from now, 2 years? The trajectory hasn't abated.

  • I don't know one way or another but there is a credible allegation that the "AGI" was training on the (very extensive) test set that these two mathematicians produced.

    If that is true then this seems to be, again, a case of AI producing an interpolation over data it has seen before. Everything about openAI's behavior indicates that they were using the transcripts as input. Why not have the AGI choose a different Millenium prize problem?

  • > in a fraction of the time

    Well if you do the math, the number of agent-compute time in total, given the insane number of agents thrown at the problem, might end up being comparable in time, if not for the budget.