nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrvqdwsw8ssflmk4pxpp5966094f2a6xf4kkxt7u5nphml6lhjm9zj8kkj3 (nprofile…kkj3)
I'm pretty sure that we can train the AI to optimize the size of the proofs. As for being able to understand and interpret the results, that's a different story. Only a handful of mathematicians are able to understand the Wiles's proof of the Fermat's theorem. An AI generated proof could be beyond the scope of understanding of any human mathematician. Would we reject it?
Bartosz Milewski
npub15c…wczp5
2025-12-30 17:14:34 UTC
in reply to nevent1q…a8dc
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Seen on
wss://relay.ditto.pubPublished at
2025-12-30 17:14:34 UTCEvent JSON
{
"id": "fd3af7cabfcb68d7434acb27b04e348ba629676ad13b3e32a7de6678726adb11",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1767114874,
"kind": 1,
"tags": [
[
"p",
"d806ba0e3c209feed509821a175a796a9577464d6d632fdca4c37dff5fbcb651",
"wss://relay.ditto.pub/"
],
[
"p",
"9e08c6a4376249f2d0f5212b412c155bd97f5c1e728ddd3f329e628484d80050",
"wss://relay.ditto.pub/"
],
[
"e",
"4bc491bdebad18079000f377d11fe6dc4c2460dfe5c4daf7a70df91f82dd9c71",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115809640390501814",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrvqdwsw8ssflmk4pxpp5966094f2a6xf4kkxt7u5nphml6lhjm9zj8kkj3 \nI'm pretty sure that we can train the AI to optimize the size of the proofs. As for being able to understand and interpret the results, that's a different story. Only a handful of mathematicians are able to understand the Wiles's proof of the Fermat's theorem. An AI generated proof could be beyond the scope of understanding of any human mathematician. Would we reject it?",
"sig": "6fba497195bb5738b0c39d9d6e0fa77df4f5999be7973beedaa535c71d3b32782d7d3d442f05a6d6d40373165bd946fe88e61cb26572ecb82c3fc9e1bb03b553"
}