|
|
|
|
|
|
by OutOfHere
197 days ago
|
|
|
> 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. |
|
|