Comments by "disgruntledtoons" (@disgruntledtoons) on "Another Roof" channel.

  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
  2. To be a bit more pedantic: A number is constructable if it can be derived via a finite number of quadratic operations.
    1