I guess we’re all getting a little tired of talking about this sort of thing, but I think this is the most impressive example yet of an LLM-generated solution to a long-open mathematical problem:
https://www.erdosproblems.com/forum/thread/1196
Jared Lichtman, a mathematician who has spent (in his words) “many years” working on the problem himself, describes the proof as “a remarkable artifact […] from The Book”.
(See also https://x.com/jdlichtman/status/2044298382852927894 if you do 𝕏.)
robinhouston
npub1wj…7nda9
2026-04-15 18:06:03 UTC
Author Public Key
npub1wjc42kn5sa2pek0h5gfygwrs2s6r7cyr7l2mlpna529pkff97jzs97nda9Published at
2026-04-15 18:06:03 UTCEvent JSON
{
"id": "f5477c39ea4ba041866b1c8c293a6510623b82b003eb28dfa2a197130af5b10c",
"pubkey": "74b1555a7487541cd9f7a21244387054343f6083f7d5bf867da28a1b2525f485",
"created_at": 1776276363,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/robinhouston/statuses/116410047757257052",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "I guess we’re all getting a little tired of talking about this sort of thing, but I think this is the most impressive example yet of an LLM-generated solution to a long-open mathematical problem:\n\nhttps://www.erdosproblems.com/forum/thread/1196\n\nJared Lichtman, a mathematician who has spent (in his words) “many years” working on the problem himself, describes the proof as “a remarkable artifact […] from The Book”.\n\n(See also https://x.com/jdlichtman/status/2044298382852927894 if you do 𝕏.)",
"sig": "80e1739fe6af1eecb470f25d625d9044fedab14e3353ea9eee9181eced11148aa1eacec0259547379ea39b1c3906f0f2739bdf860636ab4a210e2e5e2d0f3b75"
}