DeepMind AlphaGeometry: Is AGI just around the corner?

DeepMind's new geometry problem-solver AlphaGeometry can solve Euclidean plane geometry questions from the International Mathematics Olympiad (IMO) almost as well as a human gold medallist.

https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

https://www.nature.com/articles/s41586-023-06747-5

I guess it's all over now. Once AI becomes better than us at math, it will be unstoppable.

I think that there is a lot of skepticism on Google press releases after the Gemini debacle.

https://arstechnica.com/information...-demo-video-which-critics-say-misled-viewers/

Indeed, but that is not just a press release; it is a peer-reviewed paper in Nature.
Also, in this context I believe DeepMInd is somewhat separate from Google. While they are indeed owned by Google (and their technology is used in Google products) I am not aware of any DeepMind results/paper being retracted. Results published under the DeepMind name seems to have a` good track record.

Did they test negatives? What happens when you give it a problem that cannot be proven? Or that can only be verified by numerical evaluation?

Swell. A tool that can answer geometry questions incorrectly. Just what we need.

Vanadium 50 said:

Swell. A tool that can answer geometry questions incorrectly. Just what we need.

It's just that it will certainly come up with a lot of false proofs, it would be nice to have an AI say, "I cannot solve it".

From my understanding, the concept of true AGI is still a bit philosophical when we are still scratching the surface of understanding how the human mind works. There will no doubt be continued miraculous developments in AI, but AGI right now is still just a buzzword.

Sabine Hossenfelder take on this:

Meow12 said:

DeepMind's new geometry problem-solver AlphaGeometry can solve Euclidean plane geometry questions
... AGI just around the corner...

Let's discuss this when there will be an AI capable enough to solve 'neighbour problems' without utilizing shotguns.
Math is easy

Rive said:

Let's discuss this when there will be an AI capable enough to solve 'neighbour problems' without utilizing shotguns.
Math is easy

We've solved that in the UK. The solution is gun laws.