|
|
|
|
|
|
by logicallee
147 days ago
|
|
|
very interesting. ChatGPT reasoned for 41 minutes about it! Also, this was one-shot - i.e. ChatGPT produced its complete proof with a single prompt and no more replies by the human, (rather than a chat where the human further guided it.) |
|
|