nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyql4h7hgy4z6ur49uqc6wgvmettztpnp2lvxe4wgp929lnezfyv5sfmv64a (nprofile…v64a)
I'm sure the AI is capable of generating definitions and theorems. Whether they will be "interesting" enough for human mathematicians, I don't know. This is a pretty vague criterion. For me, most proofs in number theory are not very interesting. A possible criterion for a theorem to be considered interesting is how many other theorems can be proven using it.
Bartosz Milewski
npub15c…wczp5
2025-12-30 17:22:00 UTC
in reply to nevent1q…7e9v
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Seen on
wss://relay.ditto.pubPublished at
2025-12-30 17:22:00 UTCEvent JSON
{
"id": "32e562c1d13f4da4ac400d093d43eb8de9d2caa2ac7750490b7eb6303685e0a4",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1767115320,
"kind": 1,
"tags": [
[
"p",
"3f5bfae82545ae0ea5e031a7219bcad625866157d86cd5c809545fcf22491948",
"wss://relay.ditto.pub/"
],
[
"p",
"da2ffb9942d327b65ee66f152d69a427f114a4a42f69a4d9b88ab9cab96339b9",
"wss://relay.ditto.pub/"
],
[
"e",
"302368eb0594a8ed87f4e240d50438a61bbc69613cadfd1f093d2604c6a7a8cc",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115809669613070551",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyql4h7hgy4z6ur49uqc6wgvmettztpnp2lvxe4wgp929lnezfyv5sfmv64a \nI'm sure the AI is capable of generating definitions and theorems. Whether they will be \"interesting\" enough for human mathematicians, I don't know. This is a pretty vague criterion. For me, most proofs in number theory are not very interesting. A possible criterion for a theorem to be considered interesting is how many other theorems can be proven using it.",
"sig": "754eb74fb3e7ab5448df6d33691f60125e16bfe92b82c88c4205611db9162c11307d6a473277006444ab3f59b88e013ca5823acea1ce08176692c2066096e118"
}