Zulip Chat Archive
Stream: general
Topic: ChatGPT and Fermat's Last Theorem
Lars Ericson (Dec 24 2022 at 19:12):
This may be of interest to Leaners, my apologies if not. This is OpenAI's ChatGPT confidently proposing an incorrect proof of Fermat's Last Theorem: https://www.linkedin.com/posts/larswe_chatgpt-busily-failing-the-math-qual-activity-7010622913473110017-NWNF
Henrik BΓΆving (Dec 24 2022 at 19:14):
Don't worry it takes much less to bamboozle it :D https://types.pl/web/@hargoniX/109543342669101094
Junyan Xu (Dec 25 2022 at 01:22):
Apparently, ChatGPT operates in paraconsistent logic :)
https://twitter.com/crossslide/status/1602816909677776896
https://twitter.com/manuel__carro/status/1603043457357979648
@Carnage4Life What's most fun is that frequently, even if you try to walk it through why it's wrong, to the point of directly confronting it with a contradiction, it will continue to stick to its guns and even straight out claim that P&!P. https://twitter.com/crossslide/status/1602816909677776896/photo/1
- ππ»π΅π±πΏππ (@crossslide)@crossslide @Carnage4Life Yes :down:οΈ https://twitter.com/manuel__carro/status/1603043457357979648/photo/1
- Manuel Carro π· πππ (@manuel__carro)Last updated: Dec 20 2023 at 11:08 UTC