\
  The most prestigious law school admissions discussion board in the world.
BackRefresh Options Favorite

so AI isnt really solving all of these problems, just stealing user input info?

...
scarlet disrespectful party of the first part
  09/14/26
so it's basically google?
Multi-colored native incel
  09/14/26
...
Drab church building becky
  09/14/26
*looks up the key companies developing AI* *notices Googl...
.,.,...,..,.,.,:,,:,.,.,:::,...,:,...:..:.,:.::,.
  09/14/26
yes, its google but friendlier, faster, and 20% more inaccur...
Rickys' Cat
  09/14/26
Yeah because it definitely could have solved a millennium pr...
Snowy Private Investor Idea He Suggested
  09/14/26
https://www.washingtonpost.com/technology/2026/09/13/he-was-...
scarlet disrespectful party of the first part
  09/14/26
You are so gullible if you believe the "perhaps the mac...
Snowy Private Investor Idea He Suggested
  09/14/26
sup sam
scarlet disrespectful party of the first part
  09/14/26
If it was as simple as stealing prompts why would they need ...
Snowy Private Investor Idea He Suggested
  09/14/26
to lie
jew daycare
  09/14/26
...
emerald roast beef toilet seat
  09/14/26
“AI” didn’t solve shit, it just stole a re...
mustard headpube
  09/14/26
(gullible retard)
Snowy Private Investor Idea He Suggested
  09/14/26
Oh damn that really settles the matter lmfao
mustard headpube
  09/14/26
Durrrrr open ai released their proof so I guess the mathemat...
Snowy Private Investor Idea He Suggested
  09/14/26
Altman said the two mathematicians deserve credit while also...
https://i.imgur.com/YbMiOBE.png
  09/14/26
His name? Albert Einstein
artificial intelligence
  09/14/26
Nooo my tokensssss millions of tokennzsths
Wilbur in the Godhead
  09/14/26
Shoulda listened to NSAM
razzle forum
  09/14/26
90%+ of open source projects are on Github > Microsoft &g...
dark fanboi
  09/14/26
...
unholy zippy generalized bond
  09/14/26
"Buckmaster and Alpöge had been using AI models to...
Lemon Indian Lodge
  09/14/26
Whats funny is that the thing they were working on isn't eve...
Snowy Private Investor Idea He Suggested
  09/14/26
How does the "blow up" solve the problem? Article ...
Lemon Indian Lodge
  09/14/26
The clay formulation is an either or and they chose route b,...
Snowy Private Investor Idea He Suggested
  09/14/26
what’s the difference between that and AI waiting thre...
hairraiser confused coldplay fan
  09/14/26
This is a more significant issue, if it's true: "&ldquo...
Lemon Indian Lodge
  09/14/26
You don't think open ai's internal team of mathematicians ar...
Snowy Private Investor Idea He Suggested
  09/14/26
no
scarlet disrespectful party of the first part
  09/14/26
They do idiot. They use their internal team to review it, wh...
Snowy Private Investor Idea He Suggested
  09/14/26
you sound really confident for a lawyer
scarlet disrespectful party of the first part
  09/14/26
They circulated the Erdos proof among their network of top e...
Snowy Private Investor Idea He Suggested
  09/14/26
do u remember what year we live in?
scarlet disrespectful party of the first part
  09/14/26
no
Multi-colored native incel
  09/14/26
I'm highly skeptical of OpenAI and I don't fully trust them ...
Lemon Indian Lodge
  09/14/26
The guy from Brown you are talking about is legit, but look ...
Snowy Private Investor Idea He Suggested
  09/14/26
If it's strictly about the paper and not about the proof or ...
Lemon Indian Lodge
  09/14/26
Yeah the quote said the community wouldn't accept the paper ...
The Penis
  09/14/26
The writeup is balls but the actual proof is written in a fo...
emerald roast beef toilet seat
  09/14/26
Does this have said full ironclad verification? If so, why i...
Lemon Indian Lodge
  09/14/26
I think most people accept that it is legit. Lean isn't iron...
Snowy Private Investor Idea He Suggested
  09/14/26
Anyone got a non-AI generated take?
https://i.imgur.com/YbMiOBE.png
  09/14/26
Yeah, I thought mathematicians generally accept Lean proofs ...
~~(> ' ' )>
  09/14/26
Sometimes they will argue over whether the assumptions that ...
The Penis
  09/14/26
ljl I've seen this happen before. SWIM thought he came up wi...
https://i.imgur.com/YbMiOBE.png
  09/14/26
yes, AI is Jewish
;::;:;;::;;;;;::::
  09/14/26
finally someone has the balls to say it
jew daycare
  09/14/26


Poast new message in this thread



Reply Favorite

Date: September 14th, 2026 9:58 AM
Author: scarlet disrespectful party of the first part



(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134761)



Reply Favorite

Date: September 14th, 2026 10:00 AM
Author: Multi-colored native incel

so it's basically google?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134764)



Reply Favorite

Date: September 14th, 2026 10:10 AM
Author: Drab church building becky



(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134782)



Reply Favorite

Date: September 14th, 2026 4:48 PM
Author: .,.,...,..,.,.,:,,:,.,.,:::,...,:,...:..:.,:.::,.


*looks up the key companies developing AI*

*notices Google*

*nods*

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135577)



Reply Favorite

Date: September 14th, 2026 4:58 PM
Author: Rickys' Cat

yes, its google but friendlier, faster, and 20% more inaccurate.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135623)



Reply Favorite

Date: September 14th, 2026 10:30 AM
Author: Snowy Private Investor Idea He Suggested

Yeah because it definitely could have solved a millennium problem just by looking at peoples prompts, which is why it took millions of tokens and a powerful internal model and why none of these users came forward with their own solutions!

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134814)



Reply Favorite

Date: September 14th, 2026 10:41 AM
Author: scarlet disrespectful party of the first part

https://www.washingtonpost.com/technology/2026/09/13/he-was-close-1-million-breakthrough-then-openai-swooped/

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134838)



Reply Favorite

Date: September 14th, 2026 10:48 AM
Author: Snowy Private Investor Idea He Suggested

You are so gullible if you believe the "perhaps the machine learned his secret work and used it against him" narrative. Open AI has already done an more extensive investigation and demonstrated this was impossible (article even refers to this). There was overlap by being in the same research program, but the final proof released by open ai was radically different and departed radically from what the guy was doing. Also lol at the idea he would have solved it.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134846)



Reply Favorite

Date: September 14th, 2026 10:48 AM
Author: scarlet disrespectful party of the first part

sup sam

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134849)



Reply Favorite

Date: September 14th, 2026 11:52 AM
Author: Snowy Private Investor Idea He Suggested

If it was as simple as stealing prompts why would they need an internal model thats way smarter than the public frontier + millions in credits and thousands of agents to do it?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135038)



Reply Favorite

Date: September 14th, 2026 6:59 PM
Author: jew daycare

to lie

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135897)



Reply Favorite

Date: September 14th, 2026 10:55 AM
Author: emerald roast beef toilet seat



(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134861)



Reply Favorite

Date: September 14th, 2026 11:17 AM
Author: mustard headpube

“AI” didn’t solve shit, it just stole a real mathematician’s proof and that gay no-talent jew Altman claimed it as his

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134922)



Reply Favorite

Date: September 14th, 2026 11:20 AM
Author: Snowy Private Investor Idea He Suggested

(gullible retard)

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134933)



Reply Favorite

Date: September 14th, 2026 11:21 AM
Author: mustard headpube

Oh damn that really settles the matter lmfao

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134935)



Reply Favorite

Date: September 14th, 2026 11:23 AM
Author: Snowy Private Investor Idea He Suggested

Durrrrr open ai released their proof so I guess the mathematician now can release his and show they are the same durrr. Except no. The exact opposite has happened and their proof is radically different from what the guy was doing other than being in the same research program.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134945)



Reply Favorite

Date: September 14th, 2026 2:36 PM
Author: https://i.imgur.com/YbMiOBE.png


Altman said the two mathematicians deserve credit while also insisting they did nothing

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135294)



Reply Favorite

Date: September 14th, 2026 9:17 PM
Author: artificial intelligence

His name? Albert Einstein

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50136194)



Reply Favorite

Date: September 14th, 2026 2:16 PM
Author: Wilbur in the Godhead (Safari)

Nooo my tokensssss millions of tokennzsths

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135258)



Reply Favorite

Date: September 14th, 2026 11:04 AM
Author: razzle forum

Shoulda listened to NSAM

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134879)



Reply Favorite

Date: September 14th, 2026 11:09 AM
Author: dark fanboi

90%+ of open source projects are on Github > Microsoft > OpenAI > Pentagon

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134895)



Reply Favorite

Date: September 14th, 2026 11:42 AM
Author: unholy zippy generalized bond



(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135000)



Reply Favorite

Date: September 14th, 2026 11:25 AM
Author: Lemon Indian Lodge

"Buckmaster and Alpöge had been using AI models to help accelerate their work. Buckmaster worked with commercially available versions of ChatGPT and Claude, paid for out of his research funds, and Alpöge worked with internal models accessible to him as an Anthropic employee."

I wanted AI to solve the problem, but not like this, not by them.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134951)



Reply Favorite

Date: September 14th, 2026 11:50 AM
Author: Snowy Private Investor Idea He Suggested

Whats funny is that the thing they were working on isn't even the same, its just related. Alpoge and Buckmaster's work concerned forced Euler, whereas open ais result establishes blowup for unforced Navier–Stokes.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135029)



Reply Favorite

Date: September 14th, 2026 12:11 PM
Author: Lemon Indian Lodge

How does the "blow up" solve the problem? Article explained what the blow ups were and how they related to the problem, but not how they lead to solving it.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135097)



Reply Favorite

Date: September 14th, 2026 12:28 PM
Author: Snowy Private Investor Idea He Suggested

The clay formulation is an either or and they chose route b, the part about smoothness assumptions. A globally smooth solution cannot have its velocity blow up at finite time.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135127)



Reply Favorite

Date: September 14th, 2026 11:25 AM
Author: hairraiser confused coldplay fan

what’s the difference between that and AI waiting three weeks to solve it until after the academics’ work was published? It’s not like a NYU prof can burn $22 million of takes to solve it himself

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134952)



Reply Favorite

Date: September 14th, 2026 11:38 AM
Author: Lemon Indian Lodge

This is a more significant issue, if it's true: "“What I don’t think the mathematical community will accept is the write-up as it is,” Gomez-Serrano said of OpenAI’s solution, which he is currently trying to read. “It’s incomprehensible.”"

If true, OpenAI didn't solve anything. That's the story.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134989)



Reply Favorite

Date: September 14th, 2026 11:40 AM
Author: Snowy Private Investor Idea He Suggested

You don't think open ai's internal team of mathematicians are a little bit more intelligent than the cranks trying to claim their proof was stolen? And you don't think their researchers sent it to top external mathematicians before publishing?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134994)



Reply Favorite

Date: September 14th, 2026 11:41 AM
Author: scarlet disrespectful party of the first part

no

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50134999)



Reply Favorite

Date: September 14th, 2026 11:44 AM
Author: Snowy Private Investor Idea He Suggested

They do idiot. They use their internal team to review it, which includes fields medalist Jacob Tsimerman + machine proof checkers like LEAN4 and agda, and also send it externally to top mathematicians to verify.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135006)



Reply Favorite

Date: September 14th, 2026 11:55 AM
Author: scarlet disrespectful party of the first part

you sound really confident for a lawyer

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135050)



Reply Favorite

Date: September 14th, 2026 12:07 PM
Author: Snowy Private Investor Idea He Suggested

They circulated the Erdos proof among their network of top external mathematicians before publishing it, and this one is much more consequential. I'm not saying its impossible that they didn't, but the alternative is pretty absurd.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135087)



Reply Favorite

Date: September 14th, 2026 12:09 PM
Author: scarlet disrespectful party of the first part

do u remember what year we live in?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135093)



Reply Favorite

Date: September 14th, 2026 11:46 AM
Author: Multi-colored native incel

no

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135014)



Reply Favorite

Date: September 14th, 2026 12:16 PM
Author: Lemon Indian Lodge

I'm highly skeptical of OpenAI and I don't fully trust them to have thoroughly vetted their proof rather than rushing it out to try to scoop others working on the same topic, including Anthropic. If they had, why not say it? "Professors so and so vetted the proof and confirm it's correct."

The quote above is from a professor at Brown. He may be wrong, biased, or a crank, but it's not some guy on the street. And he didn't just say he's not sure. He said it's "incomprehensible." Almost as if AI wrote it...

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135110)



Reply Favorite

Date: September 14th, 2026 12:25 PM
Author: Snowy Private Investor Idea He Suggested

The guy from Brown you are talking about is legit, but look at what he's saying. He is saying the write-up itself is hard to understand, not that he found a flaw or that he thinks its wrong. He thinks the paper wasn't well written.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135120)



Reply Favorite

Date: September 14th, 2026 12:52 PM
Author: Lemon Indian Lodge

If it's strictly about the paper and not about the proof or whether OpenAI really solved the problem, it's a pretty misleading passage in the article. It suggests there is something more going on than just a poorly drafted paper. It says the community won't accept it. And I for one would be shocked (shocked!) that the Washington Post would include a misleading and incendiary passage suggesting that there is a problem with the proof itself if that's not the case.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135158)



Reply Favorite

Date: September 14th, 2026 7:33 PM
Author: The Penis

Yeah the quote said the community wouldn't accept the paper itself as written, not that the mathematical content or proof was wrong. The paper is written in this overly complicated way that no normal person would ever read and understand. It isn't nonsense, but it isn't readable by humans.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135956)



Reply Favorite

Date: September 14th, 2026 11:47 AM
Author: emerald roast beef toilet seat

The writeup is balls but the actual proof is written in a formal mathematical language called Lean that enables full ironclad verification.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135020)



Reply Favorite

Date: September 14th, 2026 12:12 PM
Author: Lemon Indian Lodge

Does this have said full ironclad verification? If so, why is there a dispute?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135100)



Reply Favorite

Date: September 14th, 2026 12:19 PM
Author: Snowy Private Investor Idea He Suggested

I think most people accept that it is legit. Lean isn't ironclad though. Lean guarantees that given the specific assumptions encoded from it the proof follows. It can't guarantee that the proof actually corresponds to the problem Clay was talking about in its formulation. Maybe some people will offer a legit dispute. I think its low probability that the result collapses completely.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135112)



Reply Favorite

Date: September 14th, 2026 2:34 PM
Author: https://i.imgur.com/YbMiOBE.png


Anyone got a non-AI generated take?

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135291)



Reply Favorite

Date: September 14th, 2026 4:56 PM
Author: ~~(> ' ' )>

Yeah, I thought mathematicians generally accept Lean proofs once the input is verified.

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135616)



Reply Favorite

Date: September 14th, 2026 5:04 PM
Author: The Penis

Sometimes they will argue over whether the assumptions that went into it hold

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135639)



Reply Favorite

Date: September 14th, 2026 2:33 PM
Author: https://i.imgur.com/YbMiOBE.png


ljl I've seen this happen before. SWIM thought he came up with a more elegant explanation for time dilation using Gemini, and he tried to use it to try to patent some kind of GPS device. Eventually no patent lawyer would respond to his emails

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135287)



Reply Favorite

Date: September 14th, 2026 1:37 PM
Author: ;::;:;;::;;;;;::::

yes, AI is Jewish

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135210)



Reply Favorite

Date: September 14th, 2026 2:13 PM
Author: jew daycare

finally someone has the balls to say it

(http://www.autoadmit.com/thread.php?thread_id=5903747&forum_id=2\u0026mark_id=5310911#50135257)