I agree with what you write, that it would be better if those 100 proofs would come out digested, but I just see no chance for that, in particular not by somehow working with openai.
I'm also not saying we should ignore those proofs! We should just ignore openai and focus on the proofs!
My view is a bit like this: As soon as a model exists that can produce these proofs, these proofs exist. All of them. Just exposing them, sending a prompt, spending a million dollars only somehow prints them. But in my mind they are already here among us.
It's a bit more complicated than that because the model is not released but in a short time a model with these capabilities will be released. That time will be shorter than digestion time anyway.
And once that model exists openly, we will be back in the situation we have after the release of astra: random strangers on the web sending us solutions by e-mail, asking us to vet them, everybody being able to produce theoremoids, etc.
It is super sad, but I think it is better to accept reality and embrace open science. Put all the available information out there and then let's work with that, start digesting etc. Let's do that in the open and let's not overstate openai's role in this.
The academic credit system has already broken down. We should accept the reality and build something new, as a community, between humans. BigTech should have no role in how we structure our community.
Thomas Kahle
npub13r…9jt75
2026-09-23 19:33:12 UTC
in reply to nevent1q…hpn9
Author Public Key
npub13rg2tuswd0fmx9cpd62vdlcsq4ell0h6qcm04r7znjxg2vae99qq39jt75Seen on
wss://relay.momostr.pinkPublished at
2026-09-23 19:33:12 UTCEvent JSON
{
"id": "761a654c7cf2f6cde9560dc9992231b03a98b4a805b4f33c545c232f4491a4c3",
"pubkey": "88d0a5f20e6bd3b317016e94c6ff100573ffbefa0636fa8fc29c8c8533b92940",
"created_at": 1790191992,
"kind": 1,
"tags": [
[
"e",
"6f21b4acda440e6f45bacc8b2acf09ad552ab7c239ea864093216d8eef6be20a",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"f735167c7ece126eccf2306e5af156f2c0c1e0dfe8a0d391a3ace8b9b8218889",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"88d0a5f20e6bd3b317016e94c6ff100573ffbefa0636fa8fc29c8c8533b92940"
],
[
"proxy",
"https://mathe.social/@tomkalei/117322022387286277",
"web"
],
[
"proxy",
"https://mathe.social/ap/users/116812571000323875/statuses/117322022387286277",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathe.social/ap/users/116812571000323875/statuses/117322022387286277",
"pink.momostr"
],
[
"-"
]
],
"content": "I agree with what you write, that it would be better if those 100 proofs would come out digested, but I just see no chance for that, in particular not by somehow working with openai.\n\nI'm also not saying we should ignore those proofs! We should just ignore openai and focus on the proofs!\n\nMy view is a bit like this: As soon as a model exists that can produce these proofs, these proofs exist. All of them. Just exposing them, sending a prompt, spending a million dollars only somehow prints them. But in my mind they are already here among us.\n\nIt's a bit more complicated than that because the model is not released but in a short time a model with these capabilities will be released. That time will be shorter than digestion time anyway.\n\nAnd once that model exists openly, we will be back in the situation we have after the release of astra: random strangers on the web sending us solutions by e-mail, asking us to vet them, everybody being able to produce theoremoids, etc.\n\nIt is super sad, but I think it is better to accept reality and embrace open science. Put all the available information out there and then let's work with that, start digesting etc. Let's do that in the open and let's not overstate openai's role in this. \n\nThe academic credit system has already broken down. We should accept the reality and build something new, as a community, between humans. BigTech should have no role in how we structure our community.",
"sig": "a73b94b1f49ded6836c21defd0f28fe7a90e7886786d4e26a18421781c1bfb2caac5eda42318c6454bc9ca89feb05834706451f6f54af84723ce49ee105575f6"
}