> If you had corrected what it read from the board, then gave it the context that he was a number theorist now working for a company trying to get AI to work th

> If you had corrected what it read from the board, then gave it the context that he was a number theorist now working for a company trying to get AI to work through proofs It was just a quick and dirty chat. A proper evaluation will consider his published research to date.