Event JSON
{
"id": "22be8dd0536cbcd1396b3b6e8c3912c0479d64a2f428a15d4b75cc3d46bab652",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1769251624,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"coqprover"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"t",
"ai4math"
],
[
"t",
"math"
],
[
"t",
"ai"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/115949674456317539",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "AI for mathematics: Progress, challenges, and prospects. ~ Haocheng Ju, Bin Dong. https://arxiv.org/abs/2601.13209v2 #AI #Math #AI4Math #ITP #IsabelleHOL #CoqProver #LeanProver",
"sig": "0605989fe6319a93e06444efa3ac5f31031dda8479cef45464704650515a173499996678bf59a77ca2c32472ffd3b13902e542daddabd51f2aa07b647f625222"
}
