Comments by "disgruntledtoons" (@disgruntledtoons) on "AI Can Do Maths Now, and it's Wild" video.

  1. So the AI still needs to be told all of the geometrical facts it uses to solve the proofs. Come back when the AI can discover these facts on its own.
    1