⟳ Репост от Zoomer Antimillenarian
as promised, the conversation where chatgpt 5.6-sol proves that there does exist a parsing expression grammar that recognizes all palindromes the proof machinery is v. weighty but it's all spelled out explicitly it got long but this is part 1: motivation and discovery chatgpt.com/share/6a6420...
Check out this chatHere's a chat someone thought you'd want to see.chatgpt.comFelladonnastill chewing away at this, btw. a proof is nice and everything, but if there is indeed a palindrome PEG, I want to see it, so I'm talking the model through generating it occasionally it gets stuck, but we're down to five steps remaining