Google's AI Makes Stunning Progress with Logical Reasoning

[Veritas Aequitas]

For those [many here] who are still hesitant of the present and future potential of AI in Chatbots and elsewhere.

Google's AI Makes Stunning Progress with Logical Reasoning
https://www.youtube.com/watch?v=NrNjvIrCqII
Sabine Hossenfelder

Google has unveiled a new artificially intelligent system, AlphaGeometry, that can solve problems of mathematical geometry. It’s the first computer program to surpass the average performance of participants at the International Mathematical Olympiad. That might sound like an incremental improvement, just one more thing that AI is really good at, but mathematics isn’t just one more thing, it’s everywhere. This makes Google’s recent development a significant step forward.

This is to the extent Sabine Hossenfelder is worried she may be obsolete [close her youtube channel?] in educating the public on the difficult and complicated knowledge relating to the advances of science.

[Walker]

Those machines play to win.

The Washington Redskins aka The Commanders should change their name to ... THE MACHINES.

Why didn't AI come up with that? That's a winner, Eddie.
https://www.youtube.com/watch?v=mUxLZWWRKUI

[Harbal]

Google's AI Makes Stunning Progress with Logical Reasoning

Perhaps that will inspire you to do likewise.

[FlashDangerpants]

VA was already using ChatGPT to tell him his faulty arguments were valid prior to this development. Now he can use it to tell him that's just fine.