{"id":19,"date":"2023-09-28T15:08:58","date_gmt":"2023-09-28T19:08:58","guid":{"rendered":"https:\/\/sites.nd.edu\/yuanshan-li\/?p=19"},"modified":"2025-03-21T16:45:34","modified_gmt":"2025-03-21T20:45:34","slug":"hi","status":"publish","type":"post","link":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/","title":{"rendered":"Countably Many Mice and ChatGPT"},"content":{"rendered":"\n
\n
Subscribe with email<\/a><\/div>\n\n\n\n
RSS<\/a><\/div>\n<\/div>\n\n\n\n

<\/p>\n\n\n\n

Caveat: this post has nothing to do with mice<\/a> as in set theory…<\/em><\/p>\n\n\n

\n
\"\"
Infinitely many mice, as generated by DALL“-E…<\/figcaption><\/figure>\n<\/div>\n\n\n

I ran into the following puzzle lately and it took me a while to come up with a solution:<\/p>\n\n\n\n

Suppose there are countably many mice standing in the following sequence: Mouse 0, Mouse 1, Mouse 2, and so on. Each mouse is given a hat which is either red or blue. Each mouse can see the hat color of every mice standing after it, but not their own, nor anyone standing before. Now, each mouse have to guess their own color. The mice collectively win the game if all but finitely many of them guesses correctly. Find a winning strategy for the mice. (Hint: Axiom of Choice.)<\/em><\/p>\n\n\n\n

If you haven’t seen this, think a bit on your own!<\/p>\n\n\n\n

Ever since the release of ChatGPT, I got interested in observing how generative AI interacts with logical and mathematical tasks. So I want to see ChatGPT’s performance in solving this problem. I am using ChatGPT3.5, and here<\/a> is what I get.<\/p>\n\n\n\n

If you read til the end of our conversation, you already know the solution, which is rather transparent by hindsight — modulo<\/em> the equivalence relation of “equality at all but finitely many points”, each mice get the same<\/em> information, namely the equivalence class of the input sequence, and they win if they collectively output a sequence in the same class. Now, before the game they fix a representative for each class (by an application of the Axiom of Choice). After the hats are given, everyone observes that they are in some class \\([r]\\), where \\(r\\) is the common representative chosen beforehand. They then win the game by collectively playing \\(r\\), i.e. Mouse \\(N\\) plays the \\(N\\)th digit of \\(r\\). <\/p>\n","protected":false},"excerpt":{"rendered":"

How ChatGPT3.5 (did not) solve the mice hat puzzle.<\/p>\n","protected":false},"author":4419,"featured_media":130,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"footnotes":""},"categories":[1],"tags":[6,8],"class_list":["post-19","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized","tag-ai-math","tag-set-theory"],"yoast_head":"\nCountably Many Mice and ChatGPT - Yuanshan Li (Tom)<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Countably Many Mice and ChatGPT - Yuanshan Li (Tom)\" \/>\n<meta property=\"og:description\" content=\"How ChatGPT3.5 (did not) solve the mice hat puzzle.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/\" \/>\n<meta property=\"og:site_name\" content=\"Yuanshan Li (Tom)\" \/>\n<meta property=\"article:published_time\" content=\"2023-09-28T19:08:58+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-03-21T20:45:34+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1024\" \/>\n\t<meta property=\"og:image:height\" content=\"640\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Yuanshan Li\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Yuanshan Li\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/\"},\"author\":{\"name\":\"Yuanshan Li\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\"},\"headline\":\"Countably Many Mice and ChatGPT\",\"datePublished\":\"2023-09-28T19:08:58+00:00\",\"dateModified\":\"2025-03-21T20:45:34+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/\"},\"wordCount\":309,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\"},\"image\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/files\\\/2023\\\/09\\\/DALLEmice-edited.png\",\"keywords\":[\"AI math\",\"set theory\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/\",\"name\":\"Countably Many Mice and ChatGPT - Yuanshan Li (Tom)\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/files\\\/2023\\\/09\\\/DALLEmice-edited.png\",\"datePublished\":\"2023-09-28T19:08:58+00:00\",\"dateModified\":\"2025-03-21T20:45:34+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#primaryimage\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/files\\\/2023\\\/09\\\/DALLEmice-edited.png\",\"contentUrl\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/files\\\/2023\\\/09\\\/DALLEmice-edited.png\",\"width\":1024,\"height\":640},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/2023\\\/09\\\/28\\\/hi\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Countably Many Mice and ChatGPT\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\",\"name\":\"Yuanshan Li (Tom)\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":[\"Person\",\"Organization\"],\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\",\"name\":\"Yuanshan Li\",\"logo\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/image\\\/\"},\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/author\\\/yli45\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Countably Many Mice and ChatGPT - Yuanshan Li (Tom)","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/","og_locale":"en_US","og_type":"article","og_title":"Countably Many Mice and ChatGPT - Yuanshan Li (Tom)","og_description":"How ChatGPT3.5 (did not) solve the mice hat puzzle.","og_url":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/","og_site_name":"Yuanshan Li (Tom)","article_published_time":"2023-09-28T19:08:58+00:00","article_modified_time":"2025-03-21T20:45:34+00:00","og_image":[{"width":1024,"height":640,"url":"http:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png","type":"image\/png"}],"author":"Yuanshan Li","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Yuanshan Li","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#article","isPartOf":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/"},"author":{"name":"Yuanshan Li","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb"},"headline":"Countably Many Mice and ChatGPT","datePublished":"2023-09-28T19:08:58+00:00","dateModified":"2025-03-21T20:45:34+00:00","mainEntityOfPage":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/"},"wordCount":309,"commentCount":0,"publisher":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb"},"image":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#primaryimage"},"thumbnailUrl":"https:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png","keywords":["AI math","set theory"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/","url":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/","name":"Countably Many Mice and ChatGPT - Yuanshan Li (Tom)","isPartOf":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website"},"primaryImageOfPage":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#primaryimage"},"image":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#primaryimage"},"thumbnailUrl":"https:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png","datePublished":"2023-09-28T19:08:58+00:00","dateModified":"2025-03-21T20:45:34+00:00","breadcrumb":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#primaryimage","url":"https:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png","contentUrl":"https:\/\/sites.nd.edu\/yuanshan-li\/files\/2023\/09\/DALLEmice-edited.png","width":1024,"height":640},{"@type":"BreadcrumbList","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/2023\/09\/28\/hi\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/sites.nd.edu\/yuanshan-li\/"},{"@type":"ListItem","position":2,"name":"Countably Many Mice and ChatGPT"}]},{"@type":"WebSite","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website","url":"https:\/\/sites.nd.edu\/yuanshan-li\/","name":"Yuanshan Li (Tom)","description":"","publisher":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/sites.nd.edu\/yuanshan-li\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":["Person","Organization"],"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb","name":"Yuanshan Li","logo":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/image\/"},"url":"https:\/\/sites.nd.edu\/yuanshan-li\/author\/yli45\/"}]}},"_links":{"self":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/posts\/19","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/users\/4419"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/comments?post=19"}],"version-history":[{"count":15,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/posts\/19\/revisions"}],"predecessor-version":[{"id":267,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/posts\/19\/revisions\/267"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/media\/130"}],"wp:attachment":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/media?parent=19"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/categories?post=19"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/tags?post=19"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}