nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t (nprofile…4x5t) I'm pretty sure that math involves more than formalizing and proving theorems though? For once you need to actually come up with the theorems' statements (and the definitions that make those statements possible).
Not to mention this assumes that the difficulty of evaluating a proof state is comparable to that of evaluating a go/chess position...
Grégoire Locqueville
npub1mg…94dr4
2025-12-30 17:03:37 UTC
in reply to nevent1q…5mvy
Author Public Key
npub1mghlhx2z6vnmvhhxdu2j66dyylc3ff9y9a56fkdc32uu4wtr8xust94dr4Seen on
wss://relay.ditto.pubPublished at
2025-12-30 17:03:37 UTCEvent JSON
{
"id": "302368eb0594a8ed87f4e240d50438a61bbc69613cadfd1f093d2604c6a7a8cc",
"pubkey": "da2ffb9942d327b65ee66f152d69a427f114a4a42f69a4d9b88ab9cab96339b9",
"created_at": 1767114217,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.ditto.pub/"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.ditto.pub/"
],
[
"e",
"a8bdd5f4fe4095d6ed391da38908fcd0de0e1482f3cbb60959557d489d38ab9f",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/glocq/statuses/115809597367022164",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzc3f2ytrz5rg45adl0x43zn3cldeusm8j6fpst2u4tl5z0xvdlk2rj4x5t I'm pretty sure that math involves more than formalizing and proving theorems though? For once you need to actually come up with the theorems' statements (and the definitions that make those statements possible).\n\nNot to mention this assumes that the difficulty of evaluating a proof state is comparable to that of evaluating a go/chess position...",
"sig": "5704d8a3c31d70c5c0c462859fdf5efaaa4810758ac259e892b943428e18edf99094e1bb7dceaa2eb27cde64a1abb796004083c0628fd230a98a784de4e4a807"
}