(dynomight.substack.com)

688 points crescit_eundo | 1 comments | 14 Nov 24 17:05 UTC | HN request time: 0.858s | source

1. Xcelerate ◴[14 Nov 24 23:41 UTC] No.42142499[source]▶

So if you squint, chess can be considered a formal system. Let’s plug ZFC or PA into gpt-3.5-turbo-instruct along with an interesting theorem and see what happens, no?

↑

Something weird is happening with LLMs and chess