AGI progress

>AI language models con do math now

It's all over for humanity, isn't it?

Attached: minerva google.jpg (645x778, 144.72K)

Neat! But no, it's still just a probabilistic guessing game to the AI.

and yet, you "cont" spell.

>textbook wants the answer in a proprietary format only mentioned in the book and the book is not available online and therefore AI is not familiar with the format

Something relatively similar was also made in the '70-80s with the "classical AI" (symbolic computation instead of statistical inference).

I think the difference is that symbolic computation based solving has exponential complexity while modern ml appears to reason more like a human would
Since gpt-3 my position is that we are 10x-100x in compute resources away from human-level agi. That means 20 years at most, as long as technical civilization doesn't collapse. Most optimistically - less than 10

>AI can do math now
Several of the antique LISP books I have contain automated theorem provers as a non-trivial example of something you can do with symbolic computing in LISP. AI doing math is old news.

Attached: 1656576004128.gif (498x424, 3.18M)

>appears to reason
keyword being 'appear'
it doesn't, so it won't

These are all problems with easy, straightforward solutions.
It is no coincidence that the third problem involves derivation rather than integration.
At most this AI can do the work of an engineer, not the work of a mathematician or a theoretical physicist.

imagine writing this in a year when a google engineer was convinced by a ml model it's human level
I'm not saying it was, but we are clearly getting close
the fun part starts when those agi move from an autistic ~100 iq human level into supergenius over a year and then leapfrog best humans