The most prestigious law school admissions discussion board in the world.
|
 |
 
|
Leading academic mathematicians now worried about AI putting them out of work
Poast new message in this thread
Date: May 10th, 2026 12:58 PM Author: impertinent mint chad https://x.com/wtgowers/status/2052830948685676605?s=46
AI can now generate results in a couple hours that are basically equivalent to a chapter in a math phd thesis. Pretty 180. Hopefully these people can learn to do something actually productive for humanity instead of getting paid to solve puzzles only they care about. SWE and math being wrecked by AI should free up a lot of human capital. |
Date: May 10th, 2026 12:58 PM Author: dead sapphire business firm prole xo's own Terry Tao didn't seem so worried when he appeared on Dwarkesh (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878549) |
 |
Date: May 10th, 2026 1:27 PM Author: Motley water buffalo lettuce Yeah because he's already part of the priesthood that needs to be kept around to "interpret" ai results (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878571) |
|
Date: May 10th, 2026 1:28 PM Author: Painfully honest startling church hissy fit underrated (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878572) |
|
Date: May 10th, 2026 1:33 PM Author: Maize Lay Elastic Band (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878578) |
|
Date: May 10th, 2026 1:38 PM Author: impertinent mint chad and he also thinks that will always be the case, when 4 years ago these models couldn't reliably solve grade school level problems. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878587) |
|
Date: May 10th, 2026 1:50 PM Author: dead sapphire business firm prole Hallucinating is part of the reason that LLMs work at all, they have to be non deterministic is my basic understanding. Therefore there will almost certainly need to be a human in the loop for truly important problems. With that being said, Erdos problems appear to not be that meaningful for real world applications so maybe he will get automated by clankers. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878606) |
|
Date: May 10th, 2026 1:51 PM Author: Painfully honest startling church hissy fit cr (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878609) |
|
Date: May 10th, 2026 2:50 PM Author: Motley water buffalo lettuce Humans confabulate shit all the time too and it often gets reified as knowledge for long periods of time. Look at literally the entire history of human knowledge. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878670) |
|
Date: May 11th, 2026 7:47 PM Author: walnut cruise ship pozpig (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880821) |
|
Date: May 10th, 2026 4:01 PM Author: impertinent mint chad there's nothing inherent about the model architectures that means they will always bullshit. the sampling aspect is beside the point. they are being trained to minimize prediction error on arbitrary human text. at the limit, this means no hallucinations. this isn't practical in reality because the models can't memorize everything, but different types of post-training will allow the models to recognize potentially incorrect tokens and self-correct. they can already do this reasonably well, which is people can now vibe code reasonably large SWE projects. model reliability in verifiable domains is growing quite rapidly. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878796) |
|
Date: May 10th, 2026 4:08 PM Author: Painfully honest startling church hissy fit LLMs have no empirical model of the world. They cannot check hypotheses. All they can do is create them. They need a human to check them
The reason why they are able to self-check hypotheses in math and coding is because you can literally run checks of those within digital engines, on a computer
You can't do that for irl. LLMs will always be confined to digital computer environments |
|
Date: May 10th, 2026 4:48 PM Author: Motley water buffalo lettuce Math isn't empirical though
edit: I guess you actually already addressed this to an extent in your poast re: your "math and coding" example, but this thread is about it's use in math which is purely abstract, which is what humans traditionally sucked at except for the smartest ones and also the perfect use-case for ai. In math and theoretical physics ai can traverse vast theoretical spaces in short periods of time and find new structure and rule out others which vastly speeds up discovery in those areas. We need humans to prompt and curate sure, but AI is going to be hugely important to these fields. I think its a mistake to think the only use for AI is completely decommissioning meat machines. Although it likely ultimately will retire many of them. |
|
Date: May 11th, 2026 3:53 PM Author: Excitant well-lubricated market multimodal LLMs clearly learn predictive models of the world. There is a reason why generative models can create realistic lighting and scattering effects in images and videos. Predicting or generating the next token requires the model to construct a way to synthesize reality. As the models create ever more realistic output, they can do RL inside these models and create thought patterns that work increasingly well to deal with real life problems. Think of something like MuZero but for arbitrary domains. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880358) |
|
Date: May 11th, 2026 4:00 PM Author: Painfully honest startling church hissy fit No, they are only capable of predictions within their training data. They cannot generalize, period. LLMs are incapable of generalization as a basic property of how they work
I can't tell if people who claim they can generalize have become so entranced by LLMs that they genuine believe it, or they're just lying to hype up the technology, or a blend of both
Legit general AI is coming. People will build virtual RL environments with real world physics and throw massive amounts of money and compute at them. They will find clever ways to impart some base level of virtual environment RL training to robot brains and so the robots have enough training scaffolding that they can gather their own data irl and learn effectively from that, slowly but surely
But LLMs cannot generalize. LLM technology is limited to the world of language. Coding, writing, anything digital bc everything digital is code based. Nothing beyond that irl |
|
Date: May 11th, 2026 6:41 PM Author: Excitant well-lubricated market What precisely do you mean when you say they can’t generalize? Every time you give them a novel coding problem they are reusing learned patterns and algorithms to generalize. There has to be generalization involved or they wouldn’t be useable for anything and could only repeat exactly what they saw in the training data. I assume you mean something like out of distribution generalization. They can’t do that well, although in practice interpolation in a high dimensional space necessarily means extrapolation, so there is no clean break there. All you can say is the generalization is imperfect (although rapidly getting better and conceivably solved by models that can use more inference compute at run time) (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880685) |
|
Date: May 11th, 2026 7:24 PM Author: Painfully honest startling church hissy fit i meant out of distribution generalization, yes, sorry
the issue is that language does not capture anything close to Reality (the physical world). it seems to me like people are getting way too caught up into thinking there actually is some kind of overarching Platonic World Of Forms that sits above Physical Reality that LLMs are tapping into and operating on. but this isn't true. language is just language. it's not the real world. LLMs are only ever going to be able to "model" and extrapolate within this limited Language-World, because that is what they are trained on. they have no mechanism to interact directly with Reality
like i said above, this only applies to LLMs. other forms of AI that *can* interact directly with Reality will be developed. but this distinction matters imo because LLMs are being dishonestly hyped up as the end all be all of AI, and purported to be able to do things they cannot actually do (or will ever be able to do). this dishonesty can potentially become very dangerous if people in power decide to cynically (or even just ignorantly) appeal to LLM outputs for their decision-making and moral judgments |
|
Date: May 11th, 2026 7:29 PM Author: Motley water buffalo lettuce “language does not capture anything close to Reality.”
That is way too strong. Language is not reality, but language is not arbitrary noise either. It is a high-bandwidth social compression layer over reality. Models in theoretical physics aren't reality per se either (general relativity, quantum theory), but they are still immensely predictive representations however lossy, actually the most accurate we have. If representations are nothing then I guess might as well throw out all of human knowledge. |
|
Date: May 11th, 2026 7:36 PM Author: Painfully honest startling church hissy fit "it's like, a compression layer over reality, more or less, you know?" isn't anything close to Reality though. "kinda sorta in the ballpark" is not even close to Good Enough
the trajectory for LLMs seems obvious. they will keep getting better and better (at increasingly inefficient compute ratios) at Language-World tasks. but they're never doing anything outside of that. we need AI that can train directly on Reality for general intelligence (which depends on world-modeling of Reality) |
|
Date: May 11th, 2026 7:58 PM Author: Motley water buffalo lettuce Sure I think if the target is general embodied cognition I think the system needs direct contact, modeling to "reality".
But I still think the phrase “compression layer over reality” should not be interpreted as “kinda sorta in the ballpark.” a theory in a physics textbook isn't reality in itself either, it isn't identical to reality but it still is encoding real constraints and makes a real diff.
I get your point, that llmss can model the world only through the representational channels they are trained on, but what they are trained on still constains information about the real world even if lossy |
|
Date: May 11th, 2026 7:56 PM Author: walnut cruise ship pozpig I definitely agree that a relationship with the real world – either real or simulated, IMO – is important for AGI (not sure if that's the same as general AI?) but my understanding is that these world-interactive machines are still built on LLMs, just with sensing layers on top. There's not a totally different type of system that I'm aware of. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880846) |
|
Date: May 11th, 2026 7:25 PM Author: Motley water buffalo lettuce This is wildly false. Not defensible. Any model that can handle a sentence, code snippet, analogy, instruction, or combination of concepts it has never seen verbatim is exhibiting some form of generalization. LLMs plainly do this. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880779) |
|
Date: May 11th, 2026 7:59 PM Author: floppy base organic girlfriend yes but at what cost? (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880857) |
|
Date: May 10th, 2026 1:25 PM Author: Maize Lay Elastic Band Lol fuck each and every one of them. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878567) |
|
Date: May 10th, 2026 1:31 PM Author: Adventurous insecure macaca main people lol @ ugly nerds seeing their one asset (being 'smart') completely devalued overnight. being smart is worthless now. they have nothing. now they're just ugly *and* useless. (this applies to xo, inasmuch as anyone was ever smart here). (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878577) |
|
Date: May 10th, 2026 1:35 PM Author: Judgmental spot and it appears good looking hot people can now be good looking, hot AND smart if they so require (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878582) |
|
Date: May 10th, 2026 1:47 PM Author: Big heaven depressive And soon ugly people will become hot thanks to radical new biology unlocked by AI (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878599) |
|
Date: May 10th, 2026 3:44 PM Author: Infuriating factory reset button telephone Or, in the alternative, turned into Soylent Green. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878761) |
|
Date: May 11th, 2026 8:10 PM Author: Motley water buffalo lettuce chad von neumanns (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880877) |
|
Date: May 11th, 2026 7:29 PM Author: Razzmatazz scarlet school good thing law relies on artificial bullshit not actual smartness (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880786) |
|
Date: May 11th, 2026 8:00 PM Author: floppy base organic girlfriend AI can't take a good depo (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880859) |
|
Date: May 10th, 2026 1:41 PM Author: Adventurous insecure macaca main people (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49878590) |
|
Date: May 11th, 2026 3:47 PM Author: Excitant well-lubricated market (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880334) |
|
Date: May 11th, 2026 7:22 PM Author: Sticky Diverse Hospital (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880771) |
|
Date: May 11th, 2026 7:42 PM Author: floppy base organic girlfriend Good luck learning statistics from an AI (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880801) |
|
Date: May 11th, 2026 7:45 PM Author: Cobalt appetizing tanning salon "mathematics departments, who owe a duty of care to their students"
LOL, is this rube not familiar with the modern university system? |
|
Date: May 11th, 2026 8:01 PM Author: shaky resort laser beams No one will have any kind of job in 10 years. It’s communism. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49880860) |
|
Date: May 20th, 2026 7:52 PM Author: impertinent mint chad And now it solves the first truly major unsolved problem. Value of human intelligence is heading straight to zero. 180^180
https://x.com/wtgowers/status/2057175727271800912?s=46 |
|
Date: May 20th, 2026 8:52 PM Author: Painfully honest startling church hissy fit but there already weren't any mathematicians doing anything useful or holding real jobs (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49892322) |
|
Date: July 10th, 2026 11:52 PM Author: floppy base organic girlfriend (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992364) |
|
Date: July 10th, 2026 11:48 PM Author: impertinent mint chad GPT 5.6 just solved an extremely well known problem in graph theory that had stumped them for a long time.
https://x.com/__eknight__/status/2075643450196971805?s=46
The sentiment in math research circles is becoming increasingly negative given even current abilities and the extreme rate of progress. LJL. We don’t need smart people to spend decades working on “theoretical” math. The sooner we can automate this, the better society will be |
|
Date: July 10th, 2026 11:53 PM Author: floppy base organic girlfriend I wonder why mathematicians aren't cerebrating these intellectual achievements in their chosen field (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992366) |
|
Date: July 10th, 2026 11:57 PM Author: Motley water buffalo lettuce If a human did it without AI they would celebrate. But since its mostly just researchers from BigAI companies using internal models to generate proofs as part of research pipelines to prove AI is 180, they are butthurt about it and not celebrating (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992371) |
|
Date: July 11th, 2026 12:05 AM Author: impertinent mint chad cr. They even make up reasons to be angry about it. “openai trained on all of our papers!” Uh, yes, you made them public. Not to mention a lot of the training involves synthetic data anymore. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992383) |
|
Date: July 11th, 2026 12:14 AM Author: Motley water buffalo lettuce yeah I think its going to be especially funny when the big labs are eventually directly wired in to continuously train on all the latest embargoed data and newest research papers from all academic publishers and are just extrapolating theories that are decades ahead of institutions. they'll probably have to guardrail against it for alignment and institutional legibility purposes. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992388) |
|
Date: July 11th, 2026 1:22 AM Author: Sticky Diverse Hospital wtf the prompt is written so meanly (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992454) |
|
Date: July 11th, 2026 1:27 AM Author: Motley water buffalo lettuce Do not return merely because current approaches fail or agents report theorem-strength gaps. Continue launching new rounds, reopening blocked approaches only when there is a genuinely new mechanism, and searching for fresh formulations. Return only when a complete affirmative proof has been found and survives adversarial audit. Do not return a reduction, partial result, isolated missing lemma, “best effort” summary, or explanation of why the problem is difficult. Spend at least 8 hours on this before even thinking of returning or giving up. |
|
Date: July 11th, 2026 1:33 AM Author: Excitant well-lubricated market LLMs are often lazy as fuck with hard problems and need to be forced to grind (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ﾃ｢竄ï½���„1¤77PHPSESSID=3d8e678aec504db068978830e992758d#49992464) |
|
Date: July 18th, 2026 7:14 PM Author: Excitant well-lubricated market Got every question right on this year’s International math olympiad. Also recently resolved a major problem in statistics. It’s over for humans.
https://x.com/wfithian/status/2077218361398964684?s=46 |
|
Date: July 29th, 2026 4:02 PM Author: .,.,...,..,.,.,:,,:,...,:::,...,:,.,.:..:. This stuff is delicious. “oh no, i am going to have to kill myself because a machine is better at deducing things from abstract, human created bullshit only a few people care about.” these fags need to get a grip:
https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics |