Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

Reply to @johncarlosbaez@mathstodon.xyz
Thomas Kahle@tomkalei@mathe.social (2026-09-24 04:33:12)
@johncarlosbaez 

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.
---Reply---
Tony Vladusich@TonyVladusich@mathstodon.xyz (2026-09-24 08:36:59)
@tomkalei @johncarlosbaez 

Hard agree. Stated bluntly: Fuck big tech and the high horse of “theorem proof” it rode in on.

---Replies---

John Carlos Baez@johncarlosbaez@mathstodon.xyz (2026-09-24 16:52:36)
@TonyVladusich - It's easy to say "fuck them!", and I agree, but it doesn't solve the problem: namely, that OpenAI is threatening simply dump 100 big AI-generated proofs on the math community.   Maybe you're saying the self-appointed advisory board should just say "fuck you!" and we see what happens next.   There may be opportunity, though, to get some better outcome.