Re:Are Humans Intelligent? An AI Op-Ed
by falcor84 on Wednesday August 05, 2020 @11:35PM
(#24067909)
> lacking from modern AI is the ability to "invent"
I remember a story about a research group who created an AI to prove Euclidean geometry theorems. The researchers were surprised by its inventiveness almost at the very start, when the AI came up with a new concise proof about the equality of the base angles in an isoceles triangle, which none of the researchers were familiar with.
What the AI had done was demonstrate a side-angle-side congruence of the triangle with itself (BAC ~= CAB) and then immediately deriving the equality of the base angles. I for one find this kind of outside-the-box thinking that an AI can perform to be extremely inventive.
I remember a story about a research group who created an AI to prove Euclidean geometry theorems. The researchers were surprised by its inventiveness almost at the very start, when the AI came up with a new concise proof about the equality of the base angles in an isoceles triangle, which none of the researchers were familiar with.
What the AI had done was demonstrate a side-angle-side congruence of the triangle with itself (BAC ~= CAB) and then immediately deriving the equality of the base angles. I for one find this kind of outside-the-box thinking that an AI can perform to be extremely inventive.