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.
Comments
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.