For those interested, Terry Tao keeps a database of attempts to use AI to solve open Erdos problems. https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems
It hasn't been updated in response to this yet, as far as I can see.
(hasten to add, because people often say this when I post this sort of thing -- no, you can't brute force solutions to open math problems like these. You can of course try lots of stuff, but not "check every possibility" because it'd require more than all the matter and time in the universe to do)
Zach Weinersmith
npub1rk…wdy04
2026-04-01 11:15:58 UTC
in reply to nevent1q…ln93
Author Public Key
npub1rkpy6tcdz7us8v8syu47h8wlfl8j5wg20tlgj3759qdrgqw06hgq0wdy04Seen on
wss://relay.momostr.pinkPublished at
2026-04-01 11:15:58 UTCEvent JSON
{
"id": "8e1cd9e72f799909012328f3a79f5dc17f36d4fea98f7c96042f5814b6e355a4",
"pubkey": "1d824d2f0d17b903b0f0272beb9ddf4fcf2a390a7afe8947d4281a3401cfd5d0",
"created_at": 1775042158,
"kind": 1,
"tags": [
[
"p",
"1d824d2f0d17b903b0f0272beb9ddf4fcf2a390a7afe8947d4281a3401cfd5d0"
],
[
"e",
"0342d77c15063375cdd711d90a599efb798b8ad632f7a6823ebb2b4430dd89b6",
"",
"root",
"1d824d2f0d17b903b0f0272beb9ddf4fcf2a390a7afe8947d4281a3401cfd5d0"
],
[
"proxy",
"https://mastodon.social/@ZachWeinersmith/116329162896150948",
"web"
],
[
"proxy",
"https://mastodon.social/users/ZachWeinersmith/statuses/116329162896150948",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/ZachWeinersmith/statuses/116329162896150948",
"pink.momostr"
],
[
"-"
]
],
"content": "For those interested, Terry Tao keeps a database of attempts to use AI to solve open Erdos problems. https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems\n\nIt hasn't been updated in response to this yet, as far as I can see.\n\n(hasten to add, because people often say this when I post this sort of thing -- no, you can't brute force solutions to open math problems like these. You can of course try lots of stuff, but not \"check every possibility\" because it'd require more than all the matter and time in the universe to do)",
"sig": "5fb225d47fd00be3293ef5bb5eebec0a8606b7e76fe08872eb93a2de335ba67cebe93ecaea45f99b0aad3cc67dd4677ab0d0e5181493016bc90be09d00f98894"
}