Including the relevant mathematicians and scientists before dumping this onto the public is sure to go a long way to relaxing fears in those communities. I'm not sure how they will deal with accusations of favoritism but at least they are demonstrating a willingness to participate in a process.
I hope the community can express some positivity that will encourage OpenAI and other foundation labs to continue with this collaborative approach.
[–] doginasuit 3 days ago
[–] ashf023 3 days ago
Jokes aside, this is a thought provoking quote. I do think it's easy to say as a well known figurehead, when the quote and other actions below you may easily be attributed to you, at least partially. But I do agree somewhat, and I think the context around Truman's time (WWII) is a good example of what humanity can accomplish when the stakes at hand supersede the considerations of workers' rights or credit/ownership. Of course this is also a very favorable phrasing for a period of enormous human suffering. I think there is an arms race analogy to be drawn here, though the current situation and stakes are much different.
[–] derektank 3 days ago
[–] AdamN 2 days ago
It took nearly a year for things to regress. Bad actors started taking plum positions and the actual intellectuals didn't really want to be working in a factory long term and then there was the question of who got the benefits of this success.
It was fascinating though how heady it was for that first year when everybody was highly aligned and working smartly and in unison.
[–] pyrale 3 days ago
[–] wumms 3 days ago
'A man may do an immense deal of good, if he does not care who gets the credit for it.'
"QI hypothesizes that a Jesuit Priest named Father Strickland deserves primary credit for this family of sayings. This claim is based on the diary entry dated September 21, 1863 written by Sir Mountstuart E. Grant Duff and multiple attributions thereafter. However, similar maxims may have been developed independently."
[0] https://quoteinvestigator.com/2010/12/21/doing-good-selfless
[–] altmanaltman 2 days ago
[–] pfdietz 2 days ago
[–] ryan_n 2 days ago
Amazing how quickly people forget how these AI companies gained their fortune. The whole existence of modern LLM's is due to taking (stealing) other peoples work without attribution.
> what matters is the journey of human knowledge
This is probably a lot easier to accept when you haven't dedicated your entire life to a specific field of research, and then are made significantly less relevant by a machine.
[–] dust42 2 days ago
Feel free to replace $clever with any name of your convenience.
[–] eecc 2 days ago
R&D and its practitioners are already under mighty pressure to justify their existence, if credit is taken off the table it’s the end of it as a means to survive (let alone comfortably).
[–] pfdietz 2 days ago
[–] 1970-01-01 2 days ago
[–] khazhoux 3 days ago
--Albert Einstein (Director, Los Alamos Laboratory)
[–] leoc 2 days ago
[–] gpderetta 2 days ago
-- Albert Einstein
[–] comprev 2 days ago
[–] 13212-a14 2 days ago
Could you stop this blatant propaganda?
[–] psychoslave 2 days ago
For example, one generally don’t name cells in their body, and cells works generally pretty well to sustain a whole self.
On societal level, obviously no one is aware of who authored the biggest mass of benefit that is granted by the mere fact of living in society. No specific individual have credits for example regarding the language they use daily¹. For the most recent ones, it’s now often possible to attach some name to invention of some cultural/technological artifact, but of course Zeitgeist-wise perspective tend to consider it’s rarely a single punctual individual that should be considered the critical pivot point.
On the other hand, even Marx that was so critical of individual alienation couldn’t refrain to make the intellectual equivalent of pissing territory and attach a name referring to its own ego within all of his works. Ego is a masterpiece of illusion: it will bring the foundational leveraging to build every possible societal hegemony under the sun while convincing the deluded that serving the ego is the indispensable first step of everything to best serve every individual selfs.
¹ Even for constructed languages, such as Esperanto that I practice myself, whoever construct them obviously don’t start from cultural blank slate.
[–] IAmBroom 2 days ago
Maybe Wolverine should consider naming his cells...?
[–] pfdietz 2 days ago
Some recognize this.
"No man but a blockhead ever wrote except for money." — Samuel Johnson
[–] throwaway1938ga 3 days ago
[–] SubiculumCode 3 days ago
[–] locknitpicker 3 days ago
This is like going to a politician's event and seeing him giving away lollipops to toddlers and kissing babies. But it's the same politician caught in corruption and embezzlement scandals.
You look at that and praise how they have redeemed. Other people look at that and see a corrupt politician handing out candy.
People tell us who they are through their actions. If you prove yourself to be capable of morally reprehensible things to the point throughout the years you build a reputation for all the morally reprehensible things you do, does your potential to do morally reprehensible things change if you go way out of your way to let people know that sometimes something's you do aren't morally reprehensible?
[–] lifeisloving 3 days ago
Right now you and everyone else is doing the "leave the multi billion dollar company alone" version of the neckbeard "leave the lady be" meme. And you deserved to be chastised for it.
Its the equivalent of you going around telling everyone in the office about how your boss is turning it around because they bought donuts today, after they spent three years telling you you're worthless, they're entitled to taking all the credit for your work and they plan on firing you as soon as they can.
[–] hardbass 2 days ago
[–] gewetensleegte 2 days ago
I'm pretty sure the multi billion dollar company has been throwing some of those multi billions at it
> and release it
"it" being a Lean proof that shows they could, technically, get a real mathematician to write down a real Math proof that could actually get published and be useful, right?
"it" being, a bunch of busy work for real mathematicians without the actual pay-off of discovery?
[–] hardbass 2 days ago
Do you disagree with the four color theorems proof? Do you know how much compute was used for that?
[–] pessimizer 3 days ago
[–] ryan_n 2 days ago
[–] paxy 3 days ago
[–] stillpointlab 3 days ago
> We reached out to external experts and asked them to act as shepherds, organizing groups to understand the new results. They advised three different release strategies
1. They identified relevant experts for each of the discoveries they wanted to release
2. They collaborated with them to determine how to release the results
The effect for the first two (maths, comp sci) was the same because the experts they chose made that decision.
The downside here is actually the third case (physics). Since they only chose 5 scientists (David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov) and those scientists chose to keep the results private until they finish their own work. Everyone else who might be interested has to wait.
That was my favouritism aside. Scientists working on similar or adjacent problems that are not included in these kinds of private releases might feel they are not getting a fair chance.
This is a process that will change, but it seems they listened to the anger from the math community and made changes that help address the concerns.
[–] clickety_clack 3 days ago
[–] dingdongditchme 3 days ago
[–] rightnutwingjob 3 days ago
Commonly paraphrased to: The knowledge quest proceeds funeral by funeral.
[–] dingdongditchme 2 days ago
[–] mrguyorama 2 days ago
Max Planck himself got to watch physics radically change multiple times, through avenues that didn't involve the old guard dying.
[–] NetMageSCW 2 days ago
[–] dingdongditchme 2 days ago
[–] iugtmkbdfil834 2 days ago
The issue I am having is how members of the potential in-group is identified.
That said said:
<< Talent won’t get you there anymore.
Talent might not get you to the table, but you can make your own table now if you have useful like minds.
[–] whatshisface 3 days ago
[–] InfinityByTen 3 days ago
I still can't see what this means for human understanding and how open would this knowledge be. Who'd ultimately get access to this stuff going forward and what kind of power games would ensue hereon.
[–] pingou 3 days ago
It seems like you are doing exactly what you accuse the parent commenter of doing. The only difference, perhaps, is that the commenter seems to extrapolate past progress to future progress, while your own assumption is a lot more tenuous.
[–] InfinityByTen 2 days ago
I just find it uncertain what lies ahead. I just don't see the sustainability in this. I have degrees in Mechanical Engineering, Applied Mathematics and Scientific Computing. If the "inevitable" is that I do manual labour till we can augment the robots to do that as well, I don't see how me or millions others similar to me have any agency.
Right now, a bunch of stuff is blurted out every month or quarter and people in notable positions are given a chance to "tidy it up". Let's assume that you have even the open weight models at your disposal, the hardware to run any of this in the kind of scale needed, requires capital of Governmental level funding.
Where I see this heading is that there'd be a divide of who controls the resources to produce and who gets delegated to do the menial work. If that's what you mean by my tenous assumption, please do share what you see differently.
[–] pingou 2 days ago
[–] glitchc 2 days ago
[–] InfinityByTen 2 days ago
But since you bring that up, to recap, the then colonial powers, systemically invalidated the hand weavers of India (where I happen to be from) with the industrial revolution. What followed was famine, mass deaths and cultural collapse. So yes, I truly realize the catastrophe what a group of resource controlling groups can cause on the ones who don't have the chance to have say in how tech moves forward.
Also saddle makers and weavers weren't like a sizable part of world economy. The effects were "far away from home". The "inevitable" is people in tech, all sorts of knowledge workers and possibly even manual labour.
Jobs being invalidated has been happening for a long while. This is not that discussion.
[–] gewetensleegte 2 days ago
oh please
[–] gewetensleegte 2 days ago
you're really full of it to assert it's "inevitable"
[–] senordevnyc 2 days ago
How exactly will the mathematics community stop this? And keep it from happening forever?
[–] pfdietz 2 days ago
[–] Davidzheng 3 days ago
[–] jibalt 3 days ago
[–] rockskon 3 days ago
[–] locknitpicker 3 days ago
This.
The truth if the matter is that this is still a publicity stunt. This investment of time, effort, and compute is aimed at building a reputation that this company's model is better than the competition's. The previous publicity stunt brew up in their face, and now they seem to be trying to adapt and double down.
[–] jacquesm 3 days ago
[–] rightnutwingjob 2 days ago
[–] TedDoesntTalk 2 days ago
[–] utopcell 3 days ago
[–] rao-v 3 days ago
[–] gewetensleegte 2 days ago
You subtly invalidate their genuine fears. Valid fears don't need to be "relaxed".
[–] gewetensleegte 2 days ago
what do you mean they've put themselves in the spotlight constantly
[–] bar8uyr 3 days ago
[–] bbor 3 days ago
All AI is good for is remixing frontier mathematics, there’s no way it could ever make its own. Right?
[–] bar8uyr 3 days ago
[–] card_zero 3 days ago
[–] bbor 3 days ago
So Chomsky thought of himself as a philosopher of science more than anything, and his life mission is/was to answer a fascinating question: what kind of creatures are we? There's been a growing consensus going back to at least Darwin that we're separated from the rest of Animalia by our "reason" (!= intuition != understanding != judgement != volition), but he helped popularize an old theory[1] that puts it kind of beautifully: human language is only possible in beings capable of producing an infinite set of meaningful outputs in response to a finite input.[2] And so far, that list includes only two definite members: Homo sapiens sapiens, and computer programs built upon large language models.[3]
So all that to say: yes, I think you're wrong; the programmatic ensembles that brought us today's breakthroughs are an "infinitely deep well". As long as we have questions to ask, they are not theoretically constrained from answering them.
Of course, this invites some obvious follow-ups on practicality; even the most impassioned ASI boomer wouldn't argue that the exact ensembles used here could answer every question in the universe. But A) that's possible because some infinities are bigger than others, and B) the exact same caveat applies to humans, whose cognitive capabilities are thoroughly determined by accidents of biology, culture, and episteme. The latter is the thrust of Chomsky's famous debate with Foucault, which is absolutely worth a watch for anyone who hasn't seen it (starting around ~18:00, AFAIR): https://youtu.be/3wfNl2L0Gf8?t=1080
---
TL;DR: I ultimately disagree on both points, yes. In the ways that matter, machines are no more constrained than animals.
[1]: https://en.wikipedia.org/wiki/Wilhelm_von_Humboldt
[2]: Many animals are capable of communication, often quite complex and fascinating communication at that; even flora and fungi communicate! But language is qualitatively distinct. You may have heard this in the pithy-yet-mindbending sentiment "we've taught many apes to communicate with sign language, but none of them have ever asked a question."
[3]: It's no surprise in hindsight that trying to build better autocorrect got us to AGI; I find it unspeakably tragic that Chomsky never got the chance to see how thoroughly he's been vindicated, in this regard. He had his stroke mere months into the singularity, and had a quite negative view of the approach before then.
[–] jacquesm 3 days ago
In LLMs that's a bounded infinity though, the models themselves have only so many bits and the activations are also limited. Once you reach the same state twice the model is looping and it won't break out of that loop. I've seen such loops across tens of thousands of tokens so I'm not sure to what degree the infinite output rule holds true. It would be an interesting experiment to try to figure out to what extent the 'busy beaver' can be kept busy before it degenerates to looping or nonsense.
[–] hardbass 2 days ago
[–] rightnutwingjob 2 days ago
He may just be parroting something he heard.
[–] whycombilater 3 days ago
Language to humans is a symbolic mapping of labels to reality based on actual experience.
"Language" to LLMs is just a string of tokens to manipulate based on relationships harvested from recorded human experience.
It doesn't mean anything other than 1s and 0s - it's not a language because the LLM isn't communicating with you, just as the sum of humanity isn't communicating with you.
It's just a really good "choose your own adventure" book.
[–] hardbass 2 days ago
[–] whycombilater 2 days ago
Humans aren't magical.
They also aren't a glorified library. They are authors, they generate the books in the library.
Cross reference a load of books and you will get useful relational info, but it's still a library index in a library.
[–] card_zero 2 days ago
> As long as we have questions to ask, they are not theoretically constrained
> some infinities are bigger than others
Those are both limitations. They need conjectures and they need training data. Can they produce their own conjectures and training data, and feed off it forever, while staying meaningful and not being stuck in a loop (a very large set of repeating cliches) or descending into confused noise?
[–] bbor 2 days ago
The end of your response seems to be about fears of “model collapse” from a few years ago, but I am convinced those are strongly oversold. For one thing, there’s no need to gather new training data ever again; the training data for Opus is clearly sufficient for instilling reason, and that’s a sufficient condition for AGI -> RSI -> ASI.
[–] 13212-a14 2 days ago
Now they launder money through the Simons Foundation, which shares their exact values on AI, to people who want to "understand" the proofs.
This directly contradicts point #6 of the AGMAI recommendation that money must be distributed by a neutral organization:
https://proofsandprompts.com/2026/10/26/disadvantages-of-des...
[–] doctorpangloss 3 days ago
> "The external collaborations will follow four principles... until Anthropic, Google, DeepSeek, Google and dozens of Chinese companies all make the same offering, in which case we will rediscover and re-implement all of the things you hate about traditional academic advancement and publishing, except because our companies are run by people even more mercurial and self-absorbed than university presidents, we'll wind up supporting even fewer people to do it."
[–] m3kw9 2 days ago
[–] throw567643u8 3 days ago
I'm also unaware of the quality of the consultation with the relevant mathematicians, colour me skeptical there.
> It is amazing what you can accomplish if you do not care who gets the credit.
--Harry S. Truman