That's a commonly ignored fact.
It's not like Leonardo da Vinci invented the helicopter, or even Paul Cornu who built one that took off in 1907.
But Louis Bréguet invented the swashplate, and Henrich Focke flew a controllable helicopter with contra-rotating rotors, all before Igor Sikorsky came up with the variable-pitch tail rotor and made the whole thing practical in 1939.
Getting the basic idea is the easy part.
Building it is harder.
Making it work is even harder.
@halilbabilli According to the parentheses the total variation explained by the 8-dim embedding is less than 10%. Also this projection calls for a nonlinear dimensionality reduction if you wanna burn more tokens on it 😄
@__alpoge__ For what it is worth, personally, I will not be opposed to total boycott of OpenAI by pure mathematicians in the wake of what appears to have been a clear violation of most basic rudiments of ethics in scientific conduct.
Congratulations to Tristan Buckmaster and Levent Alpöge for developing the AI assisted techniques for solving an important math problem. Congratulations to OpenAI for not letting any good customer transcripts go unmined.
https://t.co/oFrmiDZr81
This is the textbook definition of a Greek gift. On the surface, OpenAI generously grants 10,000 top-tier mathematicians and elite engineers free access to their frontier models under the noble, philanthropic banner of accelerating scientific discovery, pushing the boundaries of human knowledge, and democratizing artificial intelligence.
But deep down in the cold reality of Silicon Valley capitalism, what they are actually doing is executing a massive, highly sophisticated intellectual heist. They are quietly gaining unrestricted, backdoor access to the raw, unfiltered, and unpublished works of the absolute finest minds in the global scientific community. Every single complex prompt, every mathematical query, every theoretical framework, and every line of experimental code fed into that system is a novel, groundbreaking idea that does not even exist yet in published academic literature or peer-reviewed journals.
OpenAI does not just provide a helpful service. Their corporate algorithms sit quietly behind the scenes, aggressively monitoring all chat logs, scraping the intellectual property, analyzing the logical steps, and meticulously piecing together these fragmented, brilliant ideas over several months. And just when the human researcher is finally on the absolute brink of putting everything together, OpenAI will ruthlessly assemble a digital army of 10,000 autonomous AI agents, burn $20 million worth of computational tokens, and brute-force the final mathematical steps.
Then, with the backing of their massive PR machine, corporate journalists, and tech influencers, they will proudly hold a press conference to claim that their proprietary chatbot has miraculously solved a Millennium Prize problem, completely, shamelessly erasing the human genius they systematically strip-mined to achieve it.
drama summary for those confused:
- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems
- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there
- Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic.
- Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it.
- After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model.
- Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem.
- Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training.
- OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic.
- Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently.
Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.
We like complaining about Anthropic on here but it’s important to keep in mind that OpenAI is a snake pit of lying scumbags that everyone is tripping over themselves to leave for a reason, and this kind of behavior is why:
It would be helpful to hear both sides.
This is one side
https://t.co/BthOEtrH1u
- Trying to exclude Alpöge because he works at Anthropic.
- The alleged career threats
-The unanswered training questions/prompts.
Why, according to Terry Tao, the recent disproof of the Jacobian conjecture in N > 2 dimensions was not mere brute force and required what many mathematicians would characterize as "creative insight" had a human come up with it!
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
Deep inner suffering inevitably arises when the human person is reduced to performance, consumption, or a statistical datum. Many young people today live under the yoke of expectations to perform, immersed in an exasperated competitiveness that generates anxiety, fear of not measuring up, and disorientation.