Event JSON
{
"id": "9701aa0e60ddb76191f58ea84fef52f0834c450b48874de1538cb5a0e6eb9b67",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1768825611,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"t",
"LLMs"
],
[
"t",
"math"
],
[
"t",
"ai"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115921755248565025",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Resolution of Erdős problem #728: a writeup of Aristotle's Lean proof. ~ Nat Sothanaphan. https://arxiv.org/abs/2601.07421v3 #AI #Math #LLMs #ITP #LeanProver",
"sig": "a012105866244b9408107cf6f8fe9ccbcbbee0eeb5536b40704596c8f703b91731646643277f183c181d48872d31a46ede9aeebdae19a46491660b859f46bfa2"
}