Tick tock mathcelsIn 6 hours you're all gonna have to learn how to plumb and weld. This is what you get for looking down on us blue collar folkhttps://1stproof.org/https://mathstodon.xyz/@tao/116022211452443707
I work in arithmetic geometry. Your automated diarrhea machine will not replace me. It can't even kick a combinatorics problem.
>>16912346bot post
>>16912346Abstract nonsense. How does your useless number twirling help improve the material conditions of vulnerable and marginalized communities, especially indigenous women of color? About time you STEMbros got pulled out of your high towers and put in the field to do real work for a living.
>>16912356I don't know. How would it? I don't care about vulnerable and marginalized communities. I only care about White people, since I'm White myself.
>>16912346Lol. I did arithmetic and geometry in grade 2. The loaves are about to be baked. It's over.
>>16912361What? Do you know what arithmetic geometry is?
>>16912359ok incel
>>16912356Also, who said arithmetic geometry was about numbers? Number manipulation is basically irrelevant in research level mathematics. What are you even saying here? Picrel is just one thing people in my field are thinking about.
>>16912367Not gonna read all that incel.
>>16912368I'm not asking you to. I'm just giving you a glimpse into what people in my field are thinking about, retard, so you don't say some hilariously dumb shit like>DUHH ARG IS ELEMENTARY MATHor>DUHH AI SOLVE ALL OF MATH, U PLUM NOW
>>16912371not gonna read all that incel
>>16912367Complete garbage for autists. No wonder why midwits go into math and actually smart people go into physics.
A.I. is not good at creativity yet.Much like the bugmen, it is still learning duplication, replication, imitation, mimicry, once that is solved it will be able to build toward ingenuity.
>>16912375
>>16912399>gets destroyed by philosophers and metaphysicians
>>16912356Only those philosophers already doing math and physics heavily
>>16912439Meant for:>>16912400
>>16912440meant for>>16912346
>>16912399math is just poetry with silly symbols that doesn't rhyme
Multiple OpenAI people have posted that they're confident that they have correctly solved 6+ out of the 10 problems.
>>16912362lmao you probably count the sides of octagons like they do on the sesame street
Here are the official solutions.https://codeberg.org/tgkolda/1stproof/raw/branch/main/2026-02-batch/FirstProofSolutionsComments.pdf
>>16912466READ THIS. THIS IS WHAT ARITHMETIC GEOMETERS DO YOU FUCKING RETARDED NUTSACK. ARITHMETIC GEOMETRY IS NOT NUMBERS OR COUNTING AND SHAPES. YOU ARE INSANELY RETARDED. >>16912367DO YOU KNOW LITERALLY ANYTHING ABOUT WHAT MATHEMATICIANS DO? ANYTHING? ANYTHING AT ALL? I PROMISE YOU WE'VE MOVED FAR BEYOND THAT.
>>16912466LOOK AT THE FUCKING IMAGE I POSTED YOU FUCKING NECKBEARD REDDITOR MORON. THAT'S WHAT MATHEMATICIANS FUCKING DO. LOOK AT IT. LOOK. LOOK. LOOK. LOOK. LOOK. GO. GO. LOOK. READ IT. THAT'S A LARGE PART OF WHAT ARITHMETIC GEOMETRY IS ABOUT.
>>16912473>>16912474what a moron>>16912342who the fuck looks down on blue collars? i mean if a dude works at math he will just not care about anything else, he will not have hatred, disgust or something like that. he will just not care. obvious ragebait
>>16912514How am I a fucking moron and not the retard who thought arithmetic geometry was HAHA SESAME STREET SHAPES NUMBERS? I work in one of the most complex fields of modern mathematics.
>>16912342Automated proof checkers and proof tree constructors have existed for decades.Slap it with a RAG or agentic tooling (or whatever bullshit buzzword they call it) on an llm and it becomes a game of figuring which predicates (lemmas and theorems) you throw to you proof tree constructors.LLMs are very good at semantic lookup and we have done the diligent work of documenting every lemma and theorem for it with natural language so LLMs should be able to find what it needs and solve nontrivial problems with ease and maintain the illusion of reasoning and intelligence.
>>16912565>LLMs are very good at semantic lookuplol
>>16912597That's NOT semantic lookup thoughbeit. That's a math question.Try asking it to find something using only very vague wording and it will find it.Like: "optimization with polygons" and it will probably still guess nelder mead
>>16912603That's not a math question. That's a bare minimum test of understanding a prompt. Guessing tokens is not semantics. A computer cannot have semantics.
>>16912604That question requires reasoning, it can't reason, it can only lookup what it's already learned with extremly high robustness to the fact you can word the same thing in a trillion different ways. That's what i mean with semantics based lookup.The semantics are inferred based on the training dataset and the fact that it uses vectorized embeddings. Basically linguistic similarity.And it's also extremly good at writing its lookup results as coherent text.No one denies LLMs are good at this and in fact you can probably replace a fuck ton of jobs with just this ability alone
>>16912608>That question requires reasoningOnly on the level of realizing the direct and straightforward implications of the prompt.>The semantics are inferredA LLM does not have semantics, as you can clearly see there. It cannot correctly assess what the combination of words in the prompt means.
>>16912611>Only on the level of realizing the direct and straightforward implications of the prompt.That's still reasoning. Even something as simple as modus ponens is still logical reasoning.>A LLM does not have semantics, as you can clearly see there. It cannot correctly assess what the combination of words in the prompt means.That's just semantics :^).Call it whatever you want. LLMs are extremely good at retrieving answers from their dataset even when prompted with incredibly vague and differently worded questions.It's like google search but on gigasteroids.
>>16912614>That's still reasoning.Ok, retard. You're almost having the epiphany that semantics is not actually separate from reasoning. >LLMs are extremely good at retrieving answers from their datasetAn actual database is also extremely good at retrieving answers from its database. What does this have to do with understanding the implications of a math problem and bringing up actually relevant information?
>>16912616A database can't retrieve a row if your key isn't syntactically identical to the key it contains.An LLM can figure out what you are looking for in its DB even if your question is worded in a completely different way than it was stored.>What does this have to do with understanding the implications of a math problem and bringing up actually relevant information?It can search for what theorems and lemmas a problem needs based on linguistic simularity, find what it needs because its dataset contains a fuck ton of examples from textbooks and research papers, write them as predicates and toss them to whatever proof procedure tool that generates a sequence of steps leading to the solution and spit it out in nice prose. Of course this won't work on the vast majority of nontrivial problems but it only takes one for people to start to claim that we have AGI.I think you are misunderstanding my argument, what I'm trying to say is that even if AI manages to solve nontrivial problems, it's still not intelligent
>>16912629>It can search for what theorems and lemmas a problem needs based on linguistic simularityYou mean it can find "potentially" related theorems and lemmas based on linguistic similarity to the problem's wording, regardless of what the problem actually "needs".>write them as predicates and toss them to whatever proof procedure toolIf it was so easy, you'd be hearing about humans producing mathematically significant results using automated theorem provers every day.
>>16912637That's exactly what I'm saying.If the starts align, an llm manages to find the theorems and lemmas it needs to solve the problem and the problem can be solved directly by logical calculus then boom, "AI" has solved an unsolved math problem, millions of articles are written about this, everyone thinks humans are obsolete, mathematicians lose their funding and are fired and forced to teach highschoolers or vibecode gambling apps
>>16912642"AI" doomerism only works under the assumption that "AI" is actually useful and can actually replace competent professionals (protip: it isn't and it can't). But sure, they've been astroturfing every "AI did X!!!" nothingburger for years now and will continue to do so even more desperately until the bubble bursts.
>>16912518>How am I a fucking moronyou seem upset, maybe rotate a cube in your mind to calm down?
>>16912346>I work in arithmetic geometry. Your automated diarrhea machine will not replace me. It can't even kick a combinatorics problem.The sheer amount of corpobot seethe this post generates tells me you must be right.
Are we there yet?
>>16912647Yeah but mathfags have lived all these years worryfree watching from their high castle of mathematics as the codemonkeys and other peasants got fired to be replaced by copilot, just like this anon >>16912346Now they are coming for you, truth doesn't matter, if they convince your boss that you're obsolete then you are fucked. They only need to solve one of these problems and it's highly likely they will do
>>16912657>Now they are coming for you, truth doesn't matter, if they convince your boss that you're obsolete then you are fucked.Right. And how does not being able to get anything done figure into this grand scheme? You fire the people who get things done, replace them with machines that can't get things done and then what?
>>16912473>>16912474Not gonna read all that incel
>>16912565Imagine being so dumb your career can be automated by proof checkers lmao. The idea that math nerds are somehow smart is a fucking myth. The intelligence it takes to build a house or fix a plumbing problem or even to interact with people is much higher than your shitty math. KYS
>>16912565That's not how it works moron. Something like Simon's Logic Theorist was the poster child of GOFAI. All it did was searching and pruning. Has nothing to do with this. I'd rather listen to a team of practicing mathematicians and a fields medalist than some dumb techbro on 4chan.
>>16912674That's literally how axiom ai solved two of the open erdos problems with "AI".It was pretty much just an llm with access to automated proof tools.These program's and Simon's theorist need to be manually spoonfed predicates. The llm can generate these and feed it to them
>>16912346A literal calculator can do your job lmao. Get a real fucking job. Something that makes you sweat.
>>16912722Enjoy your bad back and fucked knees bro
>>16912657All the useful math problems have been solved anyway. All that's left is esoteric stuff nobody cares about and nobody's ever going to use for anything ever
>>16912722Why the fuck do you dumb niggers keep saying "HURR ARITHMETIC GEOMETRY IS NUMBER NUMBERY NUMBER!!!"? Genuinely fucking braindead.>>16912367THIS is what people in my field are thinking about. NOT FUCKING NUMBERS.
>In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.This is what Wikipedia says about my field and it's more or less a good explanation for a layman.
>>16912367My local AGI can do that. You just need to prompt better.
I fucking despise AI[math]\textbf{NIGGERS}[/math] so much.
>>16912342I assume Tao was bribed or blackmailed to shill AI 24/7. Kinda sad. Shouldn't have fucked russian cunnies when offered.
>>16912824>I assume Tao was bribed or blackmailed to shill AIWouldn't be surprised. Wasn't he complaining about Trump cutting his budget and even threatening to move to China? Maybe sucking circumcised American corporate cock pays better than the CCP.
>>16912342Except a lot of places dont even want to take on apprentices and would rather get a jeet or sesian that barely speaks English to do a slap dash job, fuck the country you live in and the citizens, I gotta business to run.
>>16912356Correct.
>>16912367Bunch of useless gibberish.Learn to nurse.
>>16913207You really are an anti-intellectual pseud.
An Ode To SpotFelis Catus is your taxonomic nomenclature,An endothermic quadruped, carnivorous by nature;Your visual, olfactory, and auditory sensesContribute to your hunting skills and natural defenses.I find myself intrigued by your sub-vocal oscillations,A singular development of cat communicationsThat obviates your basic hedonistic predilectionFor a rhythmic stroking of your fur to demonstrate affection.A tail is quite essential for your acrobatic talents;You would not be so agile if you lacked its counterbalance.And when not being utilized to aid in locomotion,It often serves to illustrate the state of your emotion.O Spot, the complex levels of behavior you displayConnote a fairly well-developed cognitive array.And though you are not sentient, Spot, and do not comprehend,I nonetheless consider you a true and valued friend.
>>16913510I am anti academia and not a pseud because I dont try to be like these parasites. I proudly have nothing to do with academia.
