José A. Alonso on Nostr: Erdos Problems LLM Hunter (A collection of attempts by advanced Large Language Models ...
Published at
2026-01-19 11:21:55 UTCEvent JSON
{
"id": "60c0280426829cfb9d3c8c49c525b1b984a4457364e84c6d0b983361c24850c2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1768821715,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"ai"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115921499951719677",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Erdos Problems LLM Hunter (A collection of attempts by advanced Large Language Models (LLMs) to solve open mathematical problems from the Erdős Problems collection and MathOverflow). ~ Paata Ivanisvili. https://mehmetmars7.github.io/Erdosproblems-llm-hunter #AI #Math",
"sig": "db27278dbfea65115a03da85f06e7928aed911acaabd339c2a0866133d485c7b1b40aeb02d0d887562b18447ce525d25964724fd9e7f09af4f8292689d545200"
}
