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: Avocado Crackhouse 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: violet property 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ГѓЖ’#49878549) |
 |
Date: May 10th, 2026 1:27 PM Author: autistic generalized bond 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ГѓЖ’#49878571) |
|
Date: May 10th, 2026 1:28 PM Author: hairless cerebral antidepressant drug underrated (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878572) |
|
Date: May 10th, 2026 1:33 PM Author: Sable lettuce (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878578) |
|
Date: May 10th, 2026 1:38 PM Author: Avocado Crackhouse 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ГѓЖ’#49878587) |
|
Date: May 10th, 2026 1:50 PM Author: violet property 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ГѓЖ’#49878606) |
|
Date: May 10th, 2026 1:51 PM Author: hairless cerebral antidepressant drug cr (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878609) |
|
Date: May 10th, 2026 2:50 PM Author: autistic generalized bond 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ГѓЖ’#49878670) |
|
Date: May 11th, 2026 7:47 PM Author: Black stubborn casino (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880821) |
|
Date: May 10th, 2026 4:01 PM Author: Avocado Crackhouse 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ГѓЖ’#49878796) |
|
Date: May 10th, 2026 4:08 PM Author: hairless cerebral antidepressant drug 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: autistic generalized bond 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: Rusted Station Boltzmann 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ГѓЖ’#49880358) |
|
Date: May 11th, 2026 4:00 PM Author: hairless cerebral antidepressant drug 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: Rusted Station Boltzmann 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ГѓЖ’#49880685) |
|
Date: May 11th, 2026 7:24 PM Author: hairless cerebral antidepressant drug 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: autistic generalized bond “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: hairless cerebral antidepressant drug "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: autistic generalized bond 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: Black stubborn casino 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ГѓЖ’#49880846) |
|
Date: May 11th, 2026 7:25 PM Author: autistic generalized bond 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ГѓЖ’#49880779) |
|
Date: May 11th, 2026 7:59 PM Author: appetizing fighting brunch yes but at what cost? (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880857) |
|
Date: August 1st, 2026 1:04 PM Author: have you ever looked at a quarter that's not the limit at all imo iirc afaict (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#50039051) |
|
Date: May 10th, 2026 1:25 PM Author: Sable lettuce Lol fuck each and every one of them. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878567) |
|
Date: May 10th, 2026 1:31 PM Author: poppy pit degenerate 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ГѓЖ’#49878577) |
|
Date: May 10th, 2026 1:35 PM Author: Unholy ceo corner 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ГѓЖ’#49878582) |
|
Date: May 10th, 2026 1:47 PM Author: exhilarant violent tanning salon jewess 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ГѓЖ’#49878599) |
|
Date: May 10th, 2026 3:44 PM Author: Arrogant Crotch Hominid Or, in the alternative, turned into Soylent Green. (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878761) |
|
Date: May 11th, 2026 8:10 PM Author: autistic generalized bond chad von neumanns (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880877) |
|
Date: May 11th, 2026 7:29 PM Author: Deep Burgundy Fat Ankles Senate good thing law relies on artificial bullshit not actual smartness (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880786) |
|
Date: May 11th, 2026 8:00 PM Author: appetizing fighting brunch AI can't take a good depo (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880859) |
|
Date: May 10th, 2026 1:41 PM Author: poppy pit degenerate (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49878590) |
|
Date: May 11th, 2026 3:47 PM Author: Rusted Station Boltzmann (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880334) |
|
Date: May 11th, 2026 7:22 PM Author: bearded center water buffalo (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880771) |
|
Date: May 11th, 2026 7:42 PM Author: appetizing fighting brunch Good luck learning statistics from an AI (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49880801) |
|
Date: May 11th, 2026 7:45 PM Author: light digit ratio "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: insanely creepy windowlicker 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ГѓЖ’#49880860) |
|
Date: May 20th, 2026 7:52 PM Author: Avocado Crackhouse 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: hairless cerebral antidepressant drug 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ГѓЖ’#49892322) |
|
Date: July 10th, 2026 11:52 PM Author: appetizing fighting brunch (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49992364) |
|
Date: July 10th, 2026 11:48 PM Author: Avocado Crackhouse 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: appetizing fighting brunch 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ГѓЖ’#49992366) |
|
Date: July 10th, 2026 11:57 PM Author: autistic generalized bond 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ГѓЖ’#49992371) |
|
Date: July 11th, 2026 12:05 AM Author: Avocado Crackhouse 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ГѓЖ’#49992383) |
|
Date: July 11th, 2026 12:14 AM Author: autistic generalized bond 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ГѓЖ’#49992388) |
|
Date: July 11th, 2026 1:22 AM Author: bearded center water buffalo wtf the prompt is written so meanly (http://www.autoadmit.com/thread.php?thread_id=5865573&forum_id=2ГѓЖ’#49992454) |
|
Date: July 11th, 2026 1:27 AM Author: autistic generalized bond 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: Rusted Station Boltzmann 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ГѓЖ’#49992464) |
|
Date: July 18th, 2026 7:14 PM Author: Rusted Station Boltzmann 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 |
|
Date: August 1st, 2026 1:02 PM Author: ,.,....,..,.,.,,,,..,..,.,..,.,.,.,... https://x.com/nabeelqu/status/2083543826057048373?s=46
OpenAI proves 10 problems that are fields medal worthy. We went from struggling with grade school level math problems to this in about 4-5 years and vast amounts of more compute are coming online every year.
AI skeptics crying, losing hope. |