AI Reproduction of Lin’s Busy Beaver Proof

Does anybody care about “look what AI can do” posts anymore? We’re running out of places to move the goalposts to, but expectations are adjusting quickly. What would have been a huge breakthrough a year ago is a yawn today. Given that AI is solving open math problems, this little piece of news might not seem very exciting, but I figured I would share it anyway. Namely: ChatGPT is able to reproduce…