Top
Best
New

Posted by auggierose 2 days ago

Why do we need human mathematicians anymore?(terrytao.wordpress.com)
291 points | 374 comments
qubex 1 day ago|
I consider myself an applied mathematician though technically I’m an economist (macro models, mostly) and operations researcher and differential game theorist (odd combination, but whatever). For context I’m 45 and I’ve spent most of my working life in corporate life.

I’ve always been at a disadvantage academically because I’m rather clumsy with my manipulations, derivations, and I’m a disaster at mental arithmetic. I’m also dyslexic. But starting in the late 1990s when I was in High School I started to become fluent with CAS (Computer Algebra Systems): first Derive, then the Symbolics capabilities of Mathlab, and ultimately Mathematica.

The whole transition is turning out quite well for me: I’m now able to delegate exploring my intuitions to increasingly powerful tools, I no longer have to haul the pyramid blocks up the ramp myself but I can drop them in by helicopter (as if were) and what I bring to the party is intuition and understanding.

I view it a bit like astronomy: in ancient times, before telescopes, keen eyesight was a prerequisite to be an astronomer. Later, after telescopes, anybody with eyesight had enormously enhanced capabilities of observation, and now, with radioastronomy and other forms of remote sensing (neutrino observatories, gravitational interferometers) the whole field has opened up to people who by virtue of being blind would’ve literally been excluded only a few decades ago.

Go forth and multiply: everybody can become a mathematician now. There’s an infinite number of potential universes out there with an infinite number of facts to prove and disprove. And while we’re at it: there’s so much more to mathematics than conjectures, proofs and counterexamples. Solve, model, approximate, fiddle around: as long as you’re not doing trite numerics on arbitrary systems of equations you’ve cooked up for your own amusement you’re good in my books.

Enjoy the tools. Keep your wits about you. Work through the steps that are presented to you. Build your intuition. HAVE FUN.

tylerhou 1 day ago||
> I no longer have to haul the pyramid blocks up the ramp myself... what I bring to the party is intuition and understanding.

Hauling the pyramid blocks is what gives people intuition and understanding. It is true that school systems usually have way too much computation -- it is easier to test and grade computation. But the only way that you were able to use computer algebra systems fluently is because you had internalized how algebra worked by hand. If we tell students that they no longer need to learn how to solve equations we are seriously depriving them of a mathematical education.

SamuelAdams 1 day ago|||
Maybe. As a parallel, I know C# and F#. They are programming languages. They are built on top of Microsoft products like the JIT and more basically Assembly language.

I have no idea how assembly works - in my years of experience I’ve never had an issue that required I dig that deep into it. Does that mean I can’t be effective with higher-level tooling because I do not know the absolute basics?

munificent 1 day ago|||
The entire point of a programming language design is to give you an abstracted environment with a complete coherent semantics so that you don't need to understand what's going on under the hood.

You can be effective at using C# and F# to solve other problems specifically because they are very well designed at the goal of abstracting over the lower level hardware. But if your goal is to build an intuition of how programming languages themselves are implemented and how computer hardware works, then, using those languages will be counter productive.

If you're trying to use math to solve arithmetical problems, then by all means using AI to help. But if you're trying to advance the math field itself, then actually knowing how math works is probably essential.

Put in more concrete terms: if someone wants to be a working mathematician without learning the fundamentals of math, then how do they even know what prompts to the AI are worth writing? In what way are they adding any value to the process at all?

qubex 1 day ago||
I never said one should not know the fundamentals of mathematics, I was trying to express it’s a damned lot easier when once understood you can delegate the lesser aspects to machinery. Abacus, calculator, computer, CAS, now AI: the mathematician’s understanding and intuition are still fundamental, but the instruments they can rely upon are levelling the playing field (and indeed, it is a great field in which to play).
LtWorf 1 day ago|||
First of all, programming isn't necessarily a very skilled task as being a mathematician.

Secondly, I've encountered compiler bugs many times, so it is very helpful.

That's the difference between a senior and a junior: the junior goes to the senior and the senior figures it out. You can remain a junior at any age.

keeda 1 day ago||||
While true that doing things the hard way is critical to learn a discipline, the OP’s point is about what is possible with AI once you’ve built those skills and intuition. I think in the future it will be common for those passionate about a discipline to strategically avoid AI until they’ve “built the muscles.”
qubex 1 day ago||
Exactly. I learnt to haul the blocks myself, but it has always been an uncertain and effortful exercise; now I can move them around as effortlessly as if I were playing Tetris.
jasondigitized 1 day ago||||
This might be clumsy but I will say it anyway. If music is math, how do you explain people who have innate musical abilities without formal academic training in notation, music theory, circle of fifths, etc.
qubex 1 day ago|||
Math isn’t music, even in a metaphorical sense. The argument by analogy fails at the first hurdle.
queenkjuul 1 day ago|||
Well i can tell you what i think: music isn't math and whoever told you that is wrong.

To further underline the point: entire cultures' musical traditions don't follow the circle of fifths, or notation as you're likely familiar with it, or even notes that follow the kinds of ratios you might use to describe western musical scales of any kind. The mathematical representations of western music were applied in retrospect, math never played any role in the development of western music anyway.

So considering math was never a factor in the development of western music and the math used to describe western music doesn't even apply universally, i just can't really consider "music is math" to be a meaningful statement at all

piker 1 day ago|||
Also there is some instinctual understanding of the work moving a big heavy rock takes, and how to do it. No such corollary for algebra and hence some civilizations never discovered or understood it.
qubex 1 day ago|||
Have you ever heard of concrete, aka “the stone for projects too large to be assembled in blocks”?
forshaper 1 day ago|||
a scale?
Archer6621 1 day ago|||
I think the astronomy and telescope comparison is missing some nuance. You don't delegate actual thought to a telescope, the thinking and acting on the observations you make with it is still done by you. With AI that is different; you get the opportunity to delegate a lot of thinking and acting to it (practically all of it if you really wish), at which point it becomes dubious to call yourself the creator or inventor of some idea.

You can use AI like a telescope, and alleviate your inherent organizational problems or other ailments, which in my opinion is a great use case, as it is empowering. But there will also be plenty of people who are not looking to alleviate any mental/physical quirks they have to do more, but simply want to make a "quick buck" for the least possible effort from the work and thinking of others, without adding much value of their own. Lowering the bar makes things easier for both, the ones who bring value and the ones who merely exploit in some context.

qubex 1 day ago||
Absolutely true: there’ll be folks who understand no mathematics at all and who will try to elbow their way in. There will also be (extending the metaphor) an ecology of instrument-makers and lens-grinders who somehow become party to the debate. But to be Frank (though I am James) mathematicians will recognise their own.
metalman 1 day ago||
After looking at the title for a day, the idea occured that, without mathematicians doing mathematics, those people would end up in banking, so seeing the top post is most amusing. One of my local contacts is a semi retired bankster, who I am going to prank by pretending that theres something stuck in her fangs, looks like the still quivering flesh of a young accounts executive, which seems to be the thing that happens to mathematicians, money that is, triggers some sort of primitive predetory instinct better left dormant.
qubex 1 day ago||
I’m so sorry but your metaphor totally sprained my brain.
twelve40 2 days ago||
> We (humans) should help humanity flourish. I understand that not everyone agrees. I have been called a “speciesist” for being “too human-centric”.

this is insane. the "speciesist" people aside (the best way for all other species to flourish is for humans to eradicate themselves right now, which is completely mad), i have the opposite problem: the _axiom_ seems to be: we should help ME flourish. "Me" as in people who are raking in trillions for their own very special selves right now, at the cost of everyone else's future, while none of them can be trusted to hold my cell phone for a second.

> if an industry commits to the axiom of helping humanity flourish

where does he see such industries, outside of maybe nonprofits?

palmotea 1 day ago|||
>> We (humans) should help humanity flourish. I understand that not everyone agrees. I have been called a “speciesist” for being “too human-centric”.

> this is insane. the "speciesist" people aside (the best way for all other species to flourish is for humans to eradicate themselves right now, which is completely mad), i have the opposite problem: the _axiom_ seems to be: we should help ME flourish. "Me" as in people who are raking in trillions for their own very special selves right now, at the cost of everyone else's future, while none of them can be trusted to hold my cell phone for a second.

I don't think there are actually any "speciesist people." I think most, if not all, are the selfish "me people," who have disingenuously created "speciesism" by mad-libbing racism and sexism in a ham-handed attempt deflect criticism/opposition to whatever they want to do. Most of them aren't even "raking in trillions," they just don't like thinking about others or being told "no."

jack_pp 1 day ago||
there are a lot of people who put the lives of dogs above those of people]. I think you'd find that a lot of people will donate to save animals rather than humans
palmotea 1 day ago||
> there are a lot of people who put the lives of dogs above those of people]. I think you'd find that a lot of people will donate to save animals rather than humans

Ok, sure. But I was talking speciesist vs AI. Is there anyone who would genuinely put AI above on on part with humanity (beyond the rare nutjob weirdo)? I think the people who trot out "speciesism" to defend AI don't care about the consequences and just don't want to be told "no."

podocarp 1 day ago||
Umm… there are a lot of people out there, more than you can imagine… I'm sure there's quite a considerable community who want to upload their minds to skynet.

Every time I see something like the Panama or Epstein files I just get reminded how many people there are in the world doing weird shit.

thaumasiotes 1 day ago|||
> the best way for all other species to flourish is for humans to eradicate themselves right now

That wouldn't do much for rice, pigs, chickens, or rats.

ambicapter 1 day ago||
You picked three animals that will literally eat anything, I think they'll be fine.
analog31 1 day ago||
But there will be fewer of them, because we generate their food.
podocarp 1 day ago|||
We also actively cull them, for the rats. Recently watched an episode of survivorman where he was on this tropical island infested with rats. There's absolutely nothing on that island yet there's rats all over the place. Having no humans they may explode in population.
thaumasiotes 1 day ago|||
That's only true for the rats. For the pigs and chickens (and rice), there will be fewer of them because they do not themselves have the capacity to exist at current population levels. The reason they're doing so well right now is purely that we want them to.
analog31 1 day ago|||
Even rats. They are supported by our food and garbage.
thaumasiotes 10 hours ago||
>> That's only true for the rats.

> Even rats.

...what do you think "even" means?

twelve40 23 hours ago|||
> doing so well right now

lol quantitatively well

sinuhe69 2 days ago|||
As I understand you referred to Elon Musk. But this is Poh Shen Loh talking. If you don’t know who he is, look up or at least read his articles.
quietbritishjim 1 day ago|||
From his Wikipedia page:

> Po-Shen Loh (Chinese: 罗博深; pinyin: Luó Bóshēn; born June 18, 1982) is an American mathematician specializing in combinatorics. Loh teaches at Carnegie Mellon University, and from 2014 to 2023 served as the national coach of the United States' International Mathematical Olympiad team. He is the founder of educational websites Expii and Live, and lead developer of contact-tracing app NOVID.

twelve40 1 day ago|||
weird bias by authority aside, do you really think that the daily decisions in this world today, and anytime soon, will be made based on the "let humanity flourish axiom"?
sinuhe69 1 day ago||
In daily decisions perhaps not, and certainly not when we were in the cave. But from time to time, we will face fundamental questions that need addressing clearly and decisively, and I believe it’s the case with AI. The more advances we make, the more frequent such questions will arise. That is also one of the main reasons why we don’t see any alien civilization. It’s getting harder and harder to keep the entropy low as we gain more knowledges and cognitive power.
buildingapcin20 1 day ago||
How's humanity tackling that climate change question then? Lots of talk. Even lots of action I would argue. And yet, not enough. Why do you think that's going to change with discussions around AI when there are trillions of dollars at stake?
sinuhe69 1 day ago||
Because it will never change if you not try.
palmotea 1 day ago||
> Because it will never change if you not try.

That's why it's important to convince people to not try. It reduces the medium term risk to investor returns.

speciesist123 1 day ago|||
[dead]
unsupp0rted 1 day ago||
[flagged]
PretzelPirate 1 day ago|||
> working 12~18 hours doing one moonshot after another.

Does anyone actually beleive Musk works 12 - 18 hour days?

He hires the right people and his companies solve hard problems, but they make a few electric cars, design and build some rockets, and launch some satelites. Most of that shouldn't require much of Musk's time since he has experts working on it.

Other than designing new rockets, there doesn't seem to be many new innovations coming out of Musk-owned companies.

To me, it feels like we all think he must be doing a ton of work even though his companies don't seem to be generating much output.

bko 1 day ago|||
I've heard people that work/worked with Musk that say he works a lot and is very knowledgeable about technical matters. I have never found someone that worked with him or knows him personally that contradicts this. So this idea that Musk just got lucky in the 7 companies he founded and he's just a bozo who happened to trip upon some new rocket designs is just insane.
PretzelPirate 1 day ago||
> So this idea that Musk just got lucky in the 7 companies he founded and he's just a bozo who happened to trip upon some new rocket designs is just insane

I don't know who's saying that. Of course he's smart, but the amount of hours he works each day is almost certainly exaggerated to maintain this "Tony Stark-like genius narrative" he needs to keep the money coming in.

Elon knows how to hire, how to raise money, and how to profit from govt subsidies. That doesn't mean he's this lone genius who works himself to death, and that's a very unlikely story.

oilkillsbirds 1 day ago|||
[flagged]
PretzelPirate 1 day ago|||
Feel free to name the recent innovations. Has Tesla released a new car with an incredible range? Have US homes adopted solar using Tesla batteries and ow we don't know what to do with our excess energy?

What else has he delivered?

nxm 1 day ago||
Catching rockets on landing for one, and making made electric cars actually popular & desirable. Man either the jealousy or hate on Elon is on another level on HackerNews
PretzelPirate 1 day ago||
Those aren't recent. Electric cars were popular 15 years ago. There are now multiple groups with reusable rockets. Elon doesn't need to work 12 hours/day on things his employees have already built.
philipallstar 1 day ago||
> Electric cars were popular 15 years ago

I can't believe the rewriting of history on this topic. They were definitely not popular. The Model S had just been released 14 years ago. They were not popular. Tesla transformed the world in terms of rolling out electric cars.

> There are now multiple groups with reusable rockets

Not really, and nowhere near the same operational experience. They are still figuring out Starship. They're deploying new types of Starlink satellites.

This is an utterly insane thesis.

PretzelPirate 1 day ago||
My point was that the work to make them popular was done back then. The model s is what made Tesla cool to the public and made people want electric cars. Since then there have been some improvements to the car like better FSD, but no huge technical leaps.

The things you're talking about aren't things Elon is likely spending his days on. He has teams of people marketing Tesla and working on improving starship. Do you think Elon is actually handing design himself vs sitting in a bunch of meetings and giving feedback?

If he isn't doing the hands-on work, so you think he's in 18hrs of meetings each day?

philipallstar 15 hours ago||
I'm struggling to make out what your point is, other than to agree that electric cars definitely weren't popular back then until Elon Musk and Tesla made them so through solving a lot of difficult engineering, regulatory and financial challenges.

However I can answer your first question: I've no idea what Elon Musk does, but obviously he has a lot of very very bright people working for him. Just as how Bill Gates wouldn't write specs but he would critique them in detail[0] to make sure that the right things were being built. Whether or not that's "sitting in meetings" or "handling design himself" who knows, because I don't know what "handling design" means, and why it wouldn't involve meetings.

[0] https://www.joelonsoftware.com/2006/06/16/my-first-billg-rev...

myko 1 day ago|||
weird to me that people still fall for Musk's propaganda

i had hoped him lying about being an amazing video game player, literally paying someone else to play for him and taking all the credit, would open folks' eyes to the fact that he lies about the most basic things

vkou 1 day ago||
It takes a odd kind of person to look at someone who can't tell the truth if their life depended on it... And then start bending over backwards to explain how brilliant they are.

Most of the rest of us understand that once you've said enough brazen bullshit, you forfeit the right to be believed.

mettamage 1 day ago||||
Nobody in their right mind would start a rocket company in order to make more money. I feel like he just wants to play real life Factorio and he wants everyone to tune in on his Twitch account and watch him play. Meanwhile he was trying to fix democracy [1] (and protect his own companies) by buying Twitter and at some point he realized he fucked up.

But who knows, I could be wrong.

I'm not exactly a fan. I'm not exactly against him either. He just seems like a hardcore geek to me that got way too much money and way too much buy-in.

[1] I'm not saying I that I think he was fixing democracy. I'm saying that I think that he thought he was fixing democracy.

kelvinjps10 1 day ago|||
Meanwhile he was trying to fix democracy . He was literally giving checks for people if they voted a certain way and promoted it. There is not more anti democratic than this.
mgoetzke 1 day ago|||
you should really listen to one of his full town-hall videos and reflect if anything he said could not have have been said by any of the Clintons or McCain. Then compare the few differences to what you might think of Elon Musk.
slopinthebag 1 day ago|||
right because true democracy is when you give cheques to people to convince other people to vote a certain way
sigmoid10 1 day ago|||
Well, he is famous for axing down middle management in companies. Might as well get rid of Super PACs and buy voters directly.
slopinthebag 1 day ago||
probably also preferable to buying votes by making and executing promises to give people free stuff/programs. at least they aren't using tax payer money
croon 1 day ago|||
I don't understand how those two are connected. Both are bad though.
slopinthebag 1 day ago||
my point is that there isnt much difference, and #2 happens by every politician in every democracy.

i have no desire to defend musk but imo people should be criticized for valid reasons or you risk diluting the other arguments.

croon 1 day ago||
But the reason given was very valid and specific against Musk.

You introduced a separate issue that is much more widespread, but that doesn't detract from the original criticism, nor dilute it.

wanderlust123 1 day ago|||
Yet he has got richer on the back of spacex …

I don’t think we need to over complicate a megalomaniac desire for more power and wealth.

mettamage 1 day ago||
I am just saying: the whole SpaceX IPO and spinning that as an AI play: that looks like a cash grab. So nowadays yea it looks like it.

But when he started it? Nah

LargeWu 1 day ago||
He started SpaceX because he had a pipe dream of colonizing Mars, and too much money.
nirava 1 day ago||||
beyond a point of absolute comfort, the point of money is to accumulate power and power can be spent to make more money. musk doesn't need more money, he needs more power. dangling starlink to ukraine treasonously is that power that money can't buy but space x can.

moonshots are the external story told to maintain social acceptance. tax credits for spacex would be lot harder to sell to taxpayers if everyone unambiguously knew its just another profit seeking private company. tesla gets a lot of lenience because of its supposed pushing of frontiers.

musk can exchange his social capital to manipulate stocks to make others money in exchange for backchannel favors.

idk if musk actually believes mankind will terraform mars but he sure seems to be getting a lot back on earth from saying it.

twelve40 1 day ago||||
This is really a matter of taste, but i (personal opinion) think that Zuck, Karp, Thiel and others who (partly by sucking the inauguration dick) have the ear of the current powers that be, produce much more demented shit than Musk. But the exact personalities really don't matter, the whole jolly crew running the show does not seem very humanistic in their writings or actions.
streetfighter64 1 day ago|||
> how to make a lot of money from his existing assets without working 12~18 hours

This is the biggest lie in today's society. "Make money from assets". There is no such thing. Money cannot work. People can work. He's figured out how to extract a lot of money from his employees, without them realizing the trick that's being played on them.

pfdietz 1 day ago||
[flagged]
streetfighter64 1 day ago||
Effective at improving the planet? Living their own lives better? Or generating profit for him? I'm sure the plantation owners of the american south had effective workers as well...
pfdietz 1 day ago||
Effective at doing the jobs they were hired to do: produce and operate vastly improved launch vehicles (in the case of SpaceX).

None of those other goals are in the remit of a company in a market economy. You might as well be complaining that a horse can't sing.

streetfighter64 1 day ago||
Look dude, I'm complaining about the usage of "making money from assets". It's just a plainly false statement. Assets can't make money for Musk, people can. Musk isn't generating any value for society, he's extracting value from his employees, like a leech.

You might as well say "That crypto scammer is just following his goals of making money. Don't complain that he's taking people's money for nothing, that's just his goal. He's just 'good at marketing'. He's just an 'entrepreneur'."

Let's at least call a spade a spade and admit that there's no such thing as "making money from assets".

EDIT: real mature response, LMAO. I'm the "delusional" one while you're believing that Musk's money is walking around building rockets.

Let's flip your comment to demonstrate how much substance it contains:

> You're demonstrating a completely unhinged lack of understanding of the Labor Theory of Value, and it looks like you are buying into the ridiculous Market Economy delusion there. I apologize if my response didn't correspond to your delusions.

I can only assume motivated reasoning on your part. Surely you must own a lot of capital, if you're defending it so hard.

pfdietz 1 day ago||
You're demonstrating a completely unhinged lack of understanding of the function of a market economy, and it looks like you are buying into the ridiculous Labor Theory of Value there.

I apologize if my response didn't correspond to your delusions.

streetfighter64 1 day ago||
Call it "Labor Theory of Value" or whatever you want. Just explain why it's more "delusional" to believe that money can't work, than to believe it can?

At least me, I haven't seen any paper bills walking around screwing rockets together. Perhaps Musk has a bunch of coins putting together data centers for him? Perhaps he's writing a check and leaving it to code up new features for twitter for him. Hmm, I've never seen a check use a keyboard. But I guess it's possible. I'd be delusional to not believe it.

Surely it's not poor people in Africa mining metals to put in those teslas? No, no. It's his money that's going down into those mines. Just a stack of bills wielding a pickaxe.

Oh, did you mean he's just renting out his "assets" to people? In other words, restricting access unless people pay him. Well, there are terms for that [0] [1]

Oh, wait, maybe you mean he's like a drop-shipper but for people's labor? Buying cheaply and reselling at a markup, without adding any real value? Well, that is surely a commendable goal. Market efficiency!

[0] https://en.wikipedia.org/wiki/Rent-seeking

[1] https://en.wikipedia.org/wiki/Usury

( For the record I didn't "flag" your response above, I think it's just annoying when people do that as it disrupts the discussion, now people can no longer refer back and see what was said. But oh well, I've been on the other side of people "flagging" stuff just because they disagree with it too. )

Planktonne 2 days ago||
Everyone involved in AI should have read The Library of Babel [1].

It's about many things, but perhaps the most relevant idea here is that no information matters without understanding. We could generate all possible knowledge, but unless someone--a human--can verify and understand it, it doesn't count. The cure for mortality could be written on the moon, but if no one reads it, it hasn't really been discovered.

[1] https://maskofreason.wordpress.com/wp-content/uploads/2011/0...

tom_alexander 2 days ago||
> unless someone--a human--can verify and understand it, it doesn't count.

One counter-point: Humans have not figured out how general anesthesia works, but we use it every day to great effect.

https://en.wikipedia.org/wiki/Theories_of_general_anaestheti...

mettamage 1 day ago|||
The part that does count is that we can verify that we does what we want it to do. We just don't know how.

Same with the black box part of AI. What the weights represent? Arcane dark magic if you ask me. What do they do? Well with LLMs we're all experiencing it.

amelius 1 day ago|||
> The part that does count is that we can verify that we does what we want it to do. We just don't know how.

How do we know the person getting anesthesia doesn't die and a new soul/consciousness replaces them?

(We can ask the same question about going to sleep, er even walking through a door, but it's still something to think about).

no_input 1 day ago|||
This was my existential horror for most of my life as I almost never remembered dreaming or going to sleep - until I got a CPAP. Once I started using it, there was continuity to my life, I vividly dream and remember those dreams now. I never scored too badly on the apnea tests but just enough to qualify for one so I said what the hell and got it. Even though I don't use it regularly, something about my sleep has changed for the better.
queenkjuul 1 day ago|||
Well generally we monitor their heart and lungs to see whether they died
CrimsonRain 1 day ago|||
you can verify it does what you want it to? How? Everything is a probability and so is your verification.
zeta0134 1 day ago||
You're correct that verification *reduces* risk. It does not eliminate risk. Humans are imperfect. That does not mean that we should stop seeking understanding on principle though, because the journey towards that understanding improves outcomes.

Recall also that LLMs are not actually entities. In their current form, there is no sentience, there is no agency. They are tools. Therefore, their output must benefit the user that requested it. Right now, that's humans (and, ideally, the planet at large; we don't exist in a vacuum) and so it makes sense that humans should verify that output and try to ensure that it aligns with their goals.

That's not to say that the output of an LLM is useless, far from it. But we should still *try* to understand its output. It gives us at least some chance to notice flaws, and an even greater chance to appreciate the implications and tradeoffs of the solution it picked.

CrimsonRain 1 day ago||
I don't disagree with anything you said. But the thread is about... LLM outputs, even if it cures cancer and solves world hunger, it is useless (it does not count for anything) if we don't understand it.
mettamage 1 day ago||
Interesting, I really don’t see your point. It would definitely be a lot more useful if we also understand it.

But extra lives saved definitely counts for a whole lot and is definitely useful.

One comparison I see: there are so many religious people that simply wish they are saved from their cancer (or whatever else). They pray for it. They don’t care how it happens. They simply want to live longer, etc.

It’s a sketch of an argument, I hope you know what I am getting at.

podocarp 1 day ago||||
We have just convinced ourselves it is statistically safe, much like most of medicine. Most drugs are not made from molecular simulation of an entire human body.

Of course we have also convinced ourselves before that cocaine in drinks, lead in petrol, asbestos in walls… were all safe…

This reminds me of the Feynman interview where the interviewer asks "how do magnets work" and he goes on this rant of how that's unanswerable and you have to decide on what is it you really want to ask. You can't expect to know the full chain of knowledge because at some point you will be asking about quarks and gluons and then hit a wall where "nobody knows". Similarly you cannot simply just give up any investigation at all because then you'll end up recommending people to put lead in their cars.

jbaber 23 hours ago||
My favorite part of Feynman's magnetism rant about how the question is terrible and can't be answered is that he seemingly accidentally gives a very good explanation: that magnetic repulsion is a highly concentrated version of what repels his hand from the arm of his chair.
Kinrany 1 day ago||||
I find it hard to distinguish between knowing how something works, and being able to predict its behavior (including ways to create and destroy it) with probability approaching 1
pkulak 2 days ago||||
Only because we understand everything _except_ how it works.
mrheosuper 2 days ago||
how can we understand absolute everything and still don't know how it work ?
ScoobleDoodle 1 day ago||
Trial and error :)
mrheosuper 1 day ago||
I wouldn't say that is "understanding". We must fully be able to explain to say that we understand it.
SirSavary 1 day ago||
There are two types of understanding: knowing how a candle works and knowing how a candle works.
uejfiweun 2 days ago|||
Seems a bit nitpicky, we certainly understand how to use it with great effect, we just don't understand the biochemical mechanism.
thomasfromcdnjs 2 days ago|||
While I get the point and it's true.

I'm a little more flexible, if the new knowledge (that human's don't understand) can be put into a mechanism and have an observable effect, I'd be happy enough. e.g. a new type of rocket fuel that burns 1000x more efficiently.

spartacusnacho 2 days ago||
We already don't understand LLMs and they are having oberservable effects
codebje 1 day ago||
If some LLM somewhere managed to produce a coherent and _correct_ explanation of how it worked inside, but no human ever saw it, would it matter?

We know how to apply LLms to problems, which is a subtly different thing to understanding how they do what they do. It's similar to fire: I can cook using fire, but I don't really understand how fire _works_. Heat+oxygen+fuel, sure, but what goes on chemically? I dunno. Doesn't stop me using it. (Pretty sure _humanity_ knows how fire works, though).

matheusmoreira 2 days ago|||
Doubt.

If I vibecode a video game and manage to sell it on Steam, the information definitely mattered even though I didn't understand any of it.

There are drugs that nobody truly understands how they work and they are being used by professionals in actual treatments literally right now. We know purely statistical facts like "if drug X is used for condition Y it will help Z% of patients" and can only speculate as to their mechanism of action. They are used anyway and still benefit a lot of people.

undersuit 2 days ago||
Yeah that information mattered when someone wrote it down, not when the LLM regurgitated an approximation.
matheusmoreira 2 days ago||
The regurgitated approximation can matter just as much depending on what results it accomplishes. If I somehow make money out of this, then it's mission accomplished. Arguably, they might even matter more than my artisanal hand crafted software projects which never paid me a living wage.
undersuit 1 day ago||
Making money matters? Weird.
ralfd 1 day ago|||
> but unless someone--a human--can verify and understand it

Why though a human? Mathematical proofs are very ivory-towery, but if OpenAI would solve a subkind of Cancer, without mortal humans understanding, cancer is still be healed.

sfn42 1 day ago||
Not unless humans were able to produce the medicine or perform the surgery or whatever is necessary to actually heal someone. In order for that to happen it has to be verified and understood by humans, like the other commenter said.
gattr 1 day ago||
Does it, though? What if future AI can do everything from designing the cure to building a self-contained universal surgical medcapsule? "Just lay down and I'll fix your cancer real good, trust me, bruh." If it was shown to work, would you use it?
sfn42 1 day ago||
Well sure, if it's already proven why wouldn't I use it?

The AI we currently have can't do that though. The AI we currently have is a glorified chatbot. It can't fabricate anything and I doubt it could even reliably design simple real world devices.

It's a really cool and useful technology, and maybe one day it will be as good as you describe, but right now it just isn't and there's no guarantee it ever will be.

somenameforme 2 days ago|||
I don't think this necessarily follows. The point of the Library of Babel is more one of permutations/combinatorics than of knowledge accumulation itself. In 'our' Library of Babel, each book would be informative, if not perhaps flawed in some ways. That's quite different from one in which in which the number of books that contain anything coherent whatsoever cleanly rounds to zero.
yubblegum 2 days ago|||
Update:

"I own nothing, have no privacy, [never have to think, and am not required to solve any problems,] and life has never been better."

https://en.wikipedia.org/wiki/You'll_own_nothing_and_be_happ...

goosejuice 2 days ago|||
Ironies of automation might be better suited to explain the problem.
dinfinity 2 days ago|||
> but unless someone--a human--can verify and understand it, it doesn't count

Does it need to be a human or can it be some other form of life?

TwisterK 2 days ago||
It can be other form of life, but that other form of life need to be extremely aligned and keep humanity interest as top priority.
looofooo0 1 day ago|||
But we have pretty good understanding of the logical foundations and the truth of computer generated math. So having a big library which humans could never produce or fully understand has still a value on its own. It is just another level of abstraction.
esafak 1 day ago|||
Some things can simply be beyond humans, but what if an AI could understand it? Just because we don't understand something, it does not mean that it does not matter.
aaron695 1 day ago||
[dead]
daxfohl 2 days ago||
People keep talking about this like there's a finite amount of math to be done, and then the party's over. But that's never how math has worked, is it? Every problem you solve, ten new ones open up. Like a fractal, the more you zoom in, the more detail emerges. No matter how much better AI is at solving problems, it's not going to generate the "final, complete compendium of mathematics" that that seems to hover over this post.

Math is meaningful because ... some people like to do it. The same as any other human pursuit. It doesn't need a reason beyond that. And AI won't change that. There will continue to be things to explore, things to find out, things that are maybe just at the edge of AI's reach and needs a human to decide whether it's worth continuing to explore or not. (Remember, AI isn't free).

So, IDK, I think for people who enjoy exploring math, there will always be interesting areas to explore. AI just gives us a better flashlight.

BTW I do agree that there's going to be an incident soon, whether intentional, accidental, or paperclip-factory, that leads governments around the world to shut all this down for some time, perhaps even shutting off access to GPUs entirely. It seems unavoidable. But that's just a temporary respite and skirts the core philosophical premise of the post.

nicce 1 day ago||
> Every problem you solve, ten new ones open up. Like a fractal, the more you zoom in, the more detail emerges. No matter how much better AI is at solving problems, it's not going to generate the "final, complete compendium of mathematics" that that seems to hover over this post.

I guess Terence's main point has been all the time that if we let AI solve all these existing problems, we don't notice the new ones and then there is stagnation.

unsupp0rted 1 day ago|||
There probably is a finite amount of math to be done

The universe is bounded by rules, as far as we can tell, and not a lot of them

drdec 1 day ago|||
> There probably is a finite amount of math to be done

> The universe is bounded by rules, as far as we can tell, and not a lot of them

Respectfully, this is not a useful frame for the discussion. Nobody is expecting to reach the limit you have noted either with or without the assistance of LLMs. So there is always more math that could be done.

groundzeros2015 1 day ago||||
If you study the history of math you’ll find that the interest in certain problems changes based on culture and technology.

In our lifetimes computers have made a lot of combinatorial and graph questions meaningful that otherwise would not be interesting.

unsupp0rted 1 day ago||
The history of math was done on human scales. Same as the history of chess.
wanderlust123 1 day ago||||
Why does the universe being bounded imply mathematics is finite?
unsupp0rted 1 day ago||
Because the bounded universe creates bounds on what the intelligences within it can conceive of as mathematics.

We can conceive of lots of mathematics that our own universe doesn't necessarily support. But only that much and no more: we're still made of stuff inside the universe, and so are our tools, so there are upper limits on our conception.

podocarp 1 hour ago|||
Mathematics that our universe does not support is still mathematics. Also you're viewing this through a human lens. How do you know it doesn't support what you think it doesn't support? Mathematics after all is a very human pursuit. Some alien species may have started off with ternary or even continuous logic. We have no counterexamples to show that that is beyond our universe.
itishappy 1 day ago|||
Bounds do not imply bounds. There are an infinite number of numbers between zero and one. Heck, with our finite minds in finite time we have created uncountable infinities!
logicchains 1 day ago|||
>The universe is bounded by rules

That's physics. Not all math is physics.

unsupp0rted 1 day ago|||
The universe imposes strict limits on the math that can exist within it, and certain broader limits on the math the creatures and well-organized sand within the universe can conceive of in the first place, whether or not it can maybe exist in other universes.

At those levels math and physics are the same bound: the bound of things the universe allows to be conceived of inside it.

It’s possible the math our monkey brains + sand can ever conceive of in this universe is a low and accessible amount.

mathgeek 1 day ago||
> The universe imposes strict limits on the math that can exist within it, and certain broader limits on the math the creatures and well-organized sand within the universe can conceive of in the first place, whether or not it can maybe exist in other universes.

When you have a moment, please reference some proofs supporting this.

unsupp0rted 1 day ago|||
There are lots of thoughts you’re not biologically capable of thinking. That means the list of thoughts you’re capable of thinking is finite. That means the amount of math you’re capable of discovering, even if you lived forever, is finite.

That’s true of all humans and all constructs.

So however much math there is to discover, that’s the finite subset you’ll ever have access to.

It’s hard to prove what thoughts no human and no construct is capable of generating, but surely there are some, and it’s possible or even likely some of those are math-related.

sthomer2 1 day ago|||
Even if we accept that there are "lots of thoughts" we're not capable of thinking (though I wonder how you would define a thought if not as something that you can think), it still does not follow that the "amount of math" (as if it's a definite quantity) that one could discover is necessarily finite, if you lived forever.

By analogy, the "amount of math" we can possibly discover could still be countably infinite even if the space of all possible thoughts would be uncountably infinite. Countably infinite is still plenty big, and it is certainly not finite.

unsupp0rted 1 day ago||
To put what I said another way, math may be infinite in principle, but the creatures in our universe can only conceive of or perceive so much of it: a finite amount.

We (or our constructs) can plausibly mine all there is and then there's no more that's physically possible for us or our constructs to mine within the universe in which we exist.

If an ant can't conceive of or perceive trigonometry that doesn't mean trigonometry doesn't exist. But if neither an ant nor a human nor any creature or construct or technology inside the current universe, now or ever, can conceive of or perceive trigonometry, then we might as well call it non-existent. It may exist: but we'd literally never know it and neither would our constructs or space aliens or inter-dimensional aliens, or their constructs, etc.

Say that there's a level of mathematics at which a blerg is a zorg, but our universe includes neither blergs nor zorgs and no intelligences in our universe can conceive of blergs/zorgs because that would require having evolved outside our universe... in that case we can consider our universe's mathematics solved without it needing to work down to the blerg and zorg level.

solomonb 1 day ago|||
The natural numbers are countably infinite. For each n ∈ ℕ, there is a proof by reflexivity that n = n. Hence there are countably infinitely many such proofs, one for each natural number.
bluecheese452 1 day ago|||
Please make substantive comments. Going around message boards demanding proofs is not conducive to good discussion.
mathgeek 1 day ago||
I didn’t demand anything. I requested some proofs since this thread is quite literally about a claim that requires proofs. As evidenced by the further comments in the thread. If you disapprove of the conversation, please feel free to use the tools and move on. No hard feelings!
bluecheese452 1 day ago||
Please don’t use pedantry.
CrimsonRain 1 day ago|||
Which math is not physics (and chemistry)? Fundamentally, all these are same
sacado2 1 day ago||
The concept of infinity?
CrimsonRain 1 day ago||
That's why it is a concept. We lack sufficient ability to measure physical world, introduce imperfect abstractions, thus need concepts like infinity.
itishappy 2 days ago||
It seems likely that there are an infinite number of math problems but only a finite number of interesting ones.
n4r9 2 days ago|||
Trivially false. Let P be the set of maths problems and I be the interesting subset of P. If I is finite, then there exists an element x belonging to P\I whose description is minimal among P\I. Then x is interesting. QED.
karmakurtisaani 2 days ago|||
Why is x interesting? Just because it has a minimal description in P\I? That makes it interesting in strictly technical sense only.
renyicircle 1 day ago||
I think that's a variation on the interesting numbers paradox joke. Statement: All numbers are interesting. Proof: Assume by contradiction that there's a non-empty set of uninteresting numbers. Then that set contains the smallest uninteresting number. That property makes it interesting.
karmakurtisaani 1 day ago||
Yeah, I've seen this before as well. I guess I've just become old and grumpy and can't appreciate jokes like these anymore. Also taking jokes seriously is peak HN so..

Edit: actually, forget about the above. I just find it very annoying when people dismiss good conversations with not-so-good jokes.

renyicircle 1 day ago||
I mean, there's some truth to that joke in this case, so I wouldn't agree that it's dismissing. The point of it is that what matters is how we define "interesting", because by the joke's definition in particular, there can't be uninteresting problems. That seems to be a very subjective concept that can also change with time. Mathematics is so specialized that there can be 3 people in the world who find one specific problem interesting. If they solve it, they'll move on to something else.

I find it curious that you've protested against that joke but not against the statement that "it seems likely that there's a finite number of interesting math problems". It doesn't seem likely to me personally and I haven't seen proof of that, even in a joke form. There's a finite number of problems at any given time, obviously, because mathematicians are finite, but it would require a very good understanding of the whole of our mathematical knowledge to declare that if we keep expanding it we'll hit some kind of wall, of "interestingness" or whatever else.

karmakurtisaani 1 day ago||
Firstly, I'm very happy we're having this conversation. It's so pointless, yet pedantic it warms my heart in the best way possible.

Secondly, I stand by the statement that there is no merit to this joke. This is because the way it defines interesting is very hand-wavy. There are interesting and non-interesting problems, but by a sleigh of hand you can turn the non-interesting problems interesting, thus proving that basically everything in the universe is interesting. At least in the mathematically describable universe. When everything is interesting, nothing is interesting. So we can dismiss the proof as a silly joke.

What mathematicians find interesting is a different story. However, we can almost certainly say there is only a finite number of problems mathematicians as physical beings can solve. If we have 200 mathematical symbols at our disposal, and we consider all strings of these symbols of length 1000,000, we have captured all the descriptions of problems that fit to 1M symbols. But that's a finite number. Going beyond that starts to be difficult for a human to grasp (if 1M is not too much already), so all mathematical problems that are solvable by a physical mathematician are in that set of strings. And that's not even saying anything about whether or not they're interesting..

renyicircle 19 hours ago||
I still don't quite agree with the approach to mathematics as enumerating problems of a certain size, but to be honest I'm not prepared or motivated to keep this conversation going without turning to handwavy arguments based on my imperfect idea of what mathematics is and how it works. However, it's certainly given me something to think about, so it hasn't been completely pointless. Thank you for the discussion.
karmakurtisaani 18 hours ago||
No worries, and thank you as well.

By the way, if I'm not completely mistaken, Gödel's argument to show the incompleteness of mathematics relies on encoding all mathematical statements as numbers. So I'm certainly not being very original here.

Smaug123 2 days ago|||
An interesting problem must have a description that fits in a brain, at least for now. Your description-length argument assumes arbitrarily large storage.
dcl 2 days ago||
the smallest problem that cannot fit in a brain would be pretty interesting
Smaug123 1 day ago|||
Sorry, I assumed the inductive construction was implied; you can indeed describe properties of that particular interesting problem (though of course you can’t hold its definition in your head), so it goes in the list. Keep going. At some point you’ll hit problems where the process of constructing the problem doesn’t even fit in a brain, etc. There are at least countably many problems, but finitely many problems which any algorithm-which-fits-in-the-brain can describe given finitely many inputs-which-fit-in-the-brain.

This isn’t an enormously important point - the actual question at issue is an empirical one, “in a steady state, can we produce interesting problems at a rate that exceeds our ability to solve them and integrate our understanding” or something like that - but I did rankle at a “trivial” proof which is invalid due to equivocating between multiple definitions of the word “interesting” (which should really take an object, “interesting to me” vs “interesting to something smarter than me”).

itishappy 1 day ago|||
As a concept, sure. As a formal proof structure?
tim333 2 days ago||||
Interesting is a bit in the eye of the beholder. Some people probably find maths boring full stop, some probably find all of it interesting.
anon291 2 days ago||||
That's a good question that can be answered by methods in mathematics.
captainbland 2 days ago|||
I think it really depends on what the universe looks like as you drill down into it. It seems like the further down into smaller systems you get, the more analytically complex it gets. And then there will always be more value in enhancing the generalisations you have.
itishappy 2 days ago||
I would argue that novel and/or valuable results are not necessarily interesting!

I (a human) am interested in things that are applicable to my realm of understanding, but I see a very plausible future where novel and/or valuable results leave that realm.

I'd further argue that's already the case for most math for most humans. What's interesting to Terrance Tao is rarely of immediate interesting to me.

retrocog 1 day ago||
A village builds a clock tower so everyone can glance up at it and know what time it is. The tower helps as people meet more easily, work schedules align, and meals are shared. Over time, fewer people watch the sun and the clock becomes authoritative. When it stops working, nobody knows what time it is. Discord ensues and arguments follow as meetings are missed and people wait impatiently for repairs. An older woman in the village kept baking at dawn and never stopped watching the sun. She never relied on the clock. Villagers gathers at her door and call her wise, for her practice ends up inadvertently helping to re-calibrate the clock once it is repaired. She replies that she is not wise or special and was just going about her usual baking routine.
TeMPOraL 1 day ago||
Fun story. The actual reality, as it happened: the older woman became a meme, a topic of gossip, possibly moralizing stories, eventually even brought up by commenters of tech-related social media boards.

Meanwhile, as people got used to the clock, the society became used to staying in synch at hour and sub-hour intervals. As better clocks were invented, synchronization became counted in minutes. This simplified things, allowing people to do more in the day and coordinate less, as they learned to rely on agreements to independently do things at specific time. Shops started posting opening hours, school started posting lesson plans, professionals started billing by minutes.

Clocks became widespread, and synchronized remotely - first from the church clock, then over the wire, over the radio, finally over the Internet. The loss of shared time reference at minute-granularity became rarer and rarer, until it became unheard of (except in excuses of those who failed to keep their commitments).

Losing a clock now would indeed throw society into disarray. If all clocks magically stopped tomorrow, many would starve and die before society figured out some way to restore time-keeping by proxy.

Clocks are a perfect example of the ratched effect of technology. A new technology at first helps you, or gives you advantage. As it spreads out more, it becomes relied on. Eventually, reaching ubiquity, it becomes a dependency, and everyone is assumed to be using it.

In a modern society, you cannot live without a properly synced clock anymore.

tyrust 1 day ago|||
The clock is repaired, but a banker doesn't use it. Inspired by the baker, she follows the sun. In the summer she opens while everyone else is asleep. In the winter the windows stay closed until nearly 1000. Locals become increasingly confused by the erratic hours. No one can agree on when the bank will open on a cloudy morning. When confronted she mutters something about the baker. At the local banking conference she presents on her newfound wisdom and receives a standing ovation.
falcor84 1 day ago||
I assume this is satire, as obviously they could recalibrate by the sun itself, and the baker is superfluous here.
al_borland 1 day ago|||
This assumes the people fixing the clock know how to tell time based on the movement of the sun.

In the story, the baker was the only one left with that ability, as others left the skill behind when the clock became the authority.

This problem has been seen when missionaries, or whoever else, try and bring tribes into more modern civilization. They have trouble adapting to modern civilization, but the skill loss during that process makes it almost impossible to go back to the jungle.

When skills are lost due to modern technology, it isn’t so trivial to get them back. Look at how much time people have spent trying to figure out how stone was moved in ancient Egypt, for example.

falcor84 1 day ago||
I am not implying that skill loss does not happen in other situations, but I don't understand how someone would be able to calibrate a clock by the time a baker starts her work day, but not by the time the sun comes up. What am I missing?
al_borland 1 day ago||
Maybe the baker got up and started baking every day at 4am, year-round.

Sunrise changes throughout the year. Sunrise in December and July are not the same thing.

To set the clock, they’d need a reference for the solar time to clock time for the current day.

I ran into this in Rome when I visited last year. A church there has a giant solar clock where the sun shows up on a line on the floor at noon (or so I was told). At noon, nothing happened. After thinking for a second, I realized I would need to find solar noon, and went to Wolfram Alpha to find that solar noon, in Rome, on that day, was 1:19pm.

The other option would be for the town to arbitrarily set the clock to solar noon one day, and just go with it, letting the drift be the drift. But the time would not be the same as it was before the reset. It could be an hour or more off.

vinyl7 1 day ago|||
Relevant talk about preventing the collapse of civilization https://www.youtube.com/watch?v=ZSRHeXYDLko
strideashort 1 day ago||
We need to pivot math towards intuition and accessibility.

Math has built a gated, inaccessible institution which - by design or not - served as a moat.

I believe math has little to do with mathematical notation - intuition is much more important. One can have intuition but not be able to “read math” - much as many musicians don’t “read music”.

Reading math however does not guarantee ideas or intuition. And those are what math needs.

DarkNova6 1 day ago||
I think LLMs are the single best things that were invented to make mathematics accessible.

I loved mathematics when I was young and wanted to be good at it, but I got burnt so many times by teachers who could not explain even if their life depended on it.

Asking an LLM and discovering how different theories belong together and what are genuinely open questions, along with different philosophical interpretations has been a wonderful gift.

I have long accepted that Mathematics is a language where you must go "all in" because for the most parts institutions are fundamentally unable to explain it in an intuitive way. There are people who "just get it" and are blind to the struggle of people who need a different approach in learning it. There's something about the field where a generational survivorship bias has created an environment where math is mostly taught to likeminded people, who then don't see why anybody could not see the difficulties learning it.

I know this is not true everywhere, but the only reason I could finish my studies was because there are some genuinely excellent online lectures on youtube, along with massive support from friends who have already been through the ordeal.

If I had had access to an LLM, I could have actually taught myself from scratch and be more playful in learning it. And no, I am not willing to learn lots of math "for fun", I can think of better "for fun" things that actually help my profession and cater to my actual interests and not just some academic ideal.

tylerhou 1 day ago|||
LLMs are decent at explaining up to undergrad mathematics but that is because they are parroting / plagiarizing the hundreds of human-written books that have been written for the express purpose of teaching undergrads. LLMs are actually fairly terrible at explaining higher mathematics; humans are much better.
quietbritishjim 1 day ago|||
They are definitely doing more than parroting. When learning mathematics, it's not uncommon to have some little misunderstanding that just isn't covered by a written explanation because it's "obvious" unless you happen to have misunderstood it that particular way. When that happens, you could look up the topic in 5 books on the subject and not make progress (never mind that you have to search through them to get to roughly the right point). LLMs are genuinely good at challenges like this - they make mistakes, but they can still identify and correct your misunderstanding with a bit of back and forth.

A good human on the subject will do better, and I'm not claiming the LLM has "understanding" in any philosophical sense. But it's more useful than something that just regurgitates material.

tylerhou 1 day ago||
> it's not uncommon to have some little misunderstanding that just isn't covered by a written explanation because it's "obvious" unless you happen to have misunderstood it that particular way... LLMs are genuinely good at challenges like this

For undergrad math, sure, and again, I think it's often because on some random corner of the internet someone else had a very similar misunderstanding. On the other hand, when I ask for clarifications on niche topics that have few examples on the internet LLMs (even Opus 5) often confidently cite irrelevant papers / results or simply hallucinate.

quietbritishjim 19 hours ago||
I think you're desperate to think that LLMs cannot make any sort of deduction by themselves: they must have just remembered someone else doing it. But I've definitely had conversations where they've had insights that can't be explained by that. Yes, I've had plenty of hallucinations too, but it's worth it, for me at least, overall.

Having said that, I wouldn't attempt to learn a whole topic with an LLM, that would be frustrating.

tylerhou 8 hours ago||
I am not desperate; I just have enough expertise and work in a niche-enough field to recognize that LLMs just are bullshit machines.

See https://claude.ai/share/6431ccd9-f4f8-4052-8996-b046d1ea1f76 for an example that I ran into just now.

DarkNova6 20 hours ago||||
They don't parrot if you know what to ask for. You can name for examples, name your own thoughts and observations and these things will often quote something related or the fact that a famous mathematician has also made this observation some point in time which then lead to the study of something else.

I am not going to study a whole book just so I can find the answer to a couple things I might never need. I like to focus on a few areas, learn everything I need to understand it, know if there are any dependencies and see what is there to discover and then move on.

I know many people get joy from learning knowledge that is not directly applicable and might never be applicable. And I know that the academic spirit would be to learn these things. But my time is seriously finite and I am not using math in my life in any fashion whatsoever other than occasional curiosity.

alansaber 1 day ago|||
Sure. But it was a bitch to get access to a good maths textbook- either you forked out a lot of money, got a library loan (we had to renew ours every 7 days), etc. With an LLM there's good breadth of knowledge so if can quickly hop across topics rather than follow the progression proscribed by the author. There's also no element of judgement/ego etc etc.
SecretDreams 1 day ago||||
> If I had had access to an LLM, I could have actually taught myself from scratch and be more playful in learning it.

For every person with this mentality, how many people do you think there are that aren't learning from the LLM at all?

DarkNova6 20 hours ago|||
You are not wrong, but I was just saying that the possibility is there. And especially for people who are despairing over bad math education I see this as a game changer. Seeing equations used to make me angry and powerless for over a decade because I felt absolutely hopeless during my studies.
adventured 1 day ago|||
99%. Humans break into three categories: originators, amplifiers, mimics. The 99% are mimics, they won't use LLMs for anything other than direct applications to existing life tasks.

See: what they did with personal computers and smartphones. They have access to Fable and Astra right now, and they're not interested what-so-ever despite what these systems can now do. Instead they'll promptly go vaporize $50k on a giant pile of metal garbage (autos) that will rapidly depreciate. They have no practical use for Fable as is.

For the same reason people didn't rush off to their local public library to teach themselves JavaScript to acquire a better life for the cost of renting library books. They can't easily go against their restraints, their biological potential. To do so is extraordinarily taxing.

Originators generate most of the extreme wealth, and extreme outcomes. Mimics can be exceptionally successful however, most doctors are mimics for example, they won't ever originate anything.

Amplifiers are the teachers, they - ideally - shuttle what works to the mimics for reproduction across society. The mimics are largely just trying to keep up with the Joneses. They go out of their way to not risk anything most of the time. They're ideally following pre-set paths to biological success. It's why mass, rapid de-industrialization for one example is such a wipeout, the mimics don't adapt very quickly, they followed the path they were told would work and then they feel betrayed, they become like abandoned programs and don't know what to do next.

As a system you don't want too much of your population in the originator category: it's very expensive and highly prone to spectacular failure. You want the extreme majority of your biological entities following successful paths that have already been proven to work.

Humans aren't special, we're animals. Apply the patterns accordingly.

adventured 1 day ago|||
Over time LLMs will route around the fraud, bureaucracy, and gilded walls that have been built up around academia and the sciences.

Nobody will hate AI more than the con-artists in academia pumping out fake papers by the zillions that are all about to be wiped out.

queenkjuul 1 day ago||
Yah there's certainly no fraud, bureaucracy, or gilded walls involved in the tech industry
bluecheese452 1 day ago|||
These “intuition” people are the biggest gatekeepers of all. Forget studying and working hard, unless you have intuition you don’t count.
hiddencost 1 day ago||
Sounds like someone was cruel to you at one point. The parent likely means the opposite of what you're suggesting.

Most people consider mathematical intuition something that only develops from deep study. What the parent is referring to is being able to anticipate how a system will behave before you actually do the calculation.

Most people who use mathematics in an industry job rely on their intuition rather than rigorous proofs. And most industry mathematicians will acknowledge that they're not as rigorous, nor as academically gifted, as their friends who stayed in academia.

Just like a programmer with 20 years of experience can look at a bug and anticipate the cause.

_the_inflator 1 day ago|||
What aspect of Math are you referring to? Writing proofs intuitively is quite a claim, matrix calculus may have a say here, too.

But please elaborate a bit on your statement.

loa_in_ 1 day ago|||
I love maths, but I stumble over concepts being named by a prominent figure's last name and not by some taxonomy.
elendilm 1 day ago|||
You would be surprised at the number of people (who study math formally) who just memorize proofs and having no clue what it all fundamentally is about.
gjm11 1 day ago|||
I am a mathematician, though I haven't been in academia for many years, and I would indeed be surprised if there were a lot of mathematicians who "just memorize proofs". Do you really mean that, and if so what's your evidence for it? (And: how do you suppose it is possible for someone who merely memorizes proofs without caring what they are about to prove new things in their field?)
elendilm 1 day ago||
[dead]
criddell 1 day ago|||
Shut up and calculate.
elendilm 1 day ago||
No :). There are many who want to understand.
bmitc 1 day ago|||
This reads well enough as a platitude, but what do you actually mean?

How is mathematics gated and inaccessible? How do you specify mathematics without notation or some language? What intuition do you mean, as many mathematical ideas are non-intuitive?

dr_dshiv 1 day ago|||
Brett Victor’s essay will resonate, if you haven’t read it yet. https://worrydream.com/KillMath/

(Attn: pls read more than the title before you downvote)

broken-kebab 1 day ago|||
So this guy has been "killing math" since 2011. The inevitable question: where are achievements, success stories, anything at all?
dr_dshiv 1 day ago||
"explorable explanations" are big! google it, you are in for a treat.
oliculipolicula 1 day ago|||
>The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.

With powerful tools of the type Bret envisions, humans, in aggregate, might have a chance of staying ahead of LLMs at even frontier math..

(But maybe that wouldn't fare so well against future world-models, who knows)

here might be something to point those tools at--- if one isn't fixated on "predictions", or "real world" https://youtu.be/fec8qSBiM4k

vharuck 1 day ago|||
For the majority of math history, people wrote proofs using natural language. Formalized notation is relatively recent. I have read both, and the notation is (on the whole) so much easier to read. But anybody is free to learn math beyond an undergraduate level with natural language texts. If you want to be traditional, start with Euclid's "Elements."

Plus, in the good articles I've read, the structure is usually: dissection of subproblem, intuitive description of solution, converting that solution into notation, proceed to next subproblem. If you see an unfamiliar symbol in an article, look it up. If you don't understand its definition, you don't yet have an intuitive grasp of the concept. Keep going down that rabbit hole until you have the intuitive building blocks to understand the article.

Frankly, I love how much math we can teach before a kid graduates high school. Thousands of years of mathematical ideas, up to calculus invented less than 400 years ago. All before they're 18 years old and probably don't care much about math.

streetfighter64 1 day ago|||
> One can have intuition but not be able to “read math” - much as many musicians don’t “read music”.

Is it really that common for musicians to not be able to read music? I'm not a musician so I wouldn't know, but it seems far-fetched. Like the story that Einstein failed math. I likewise doubt that there are many people who would be good mathematicians but unable to learn the language.

Sure notation is arbitrary and not the actual "truth" of math, but we need some way to talk about it, so why not just learn the accepted standards?

There might be at least one awesome author out there who never learned to write or type, but they're probably extremely rare, because becoming great at something usually entails a lot of practice, and that's hard to get when you're not making the effort to learn the basics.

In any case, LLMs are probably a bad way to "pivot math towards intuition and accessibility" because they, as language models, are great at generating a bunch of jargon that is hard for somebody with no training to tell apart. See the recent story [0]. Here the author (perhaps) succeeded with his proof, but was it because of superior intuition? Or just throwing compute at the wall to see what sticks?

[0] https://news.ycombinator.com/item?id=49755024

Pannoniae 1 day ago|||
Most musicians in history didn't know how to read music, yeah. Less so in the present day but just about every folk song has spread by the word of mouth, and even in pop music many genres have a strong oral tradition (jazz, blues, rock, you name it), they play by ear and not by sheet.
streetfighter64 1 day ago||
Well, that's not really what I mean. Obviously they had some concept of communicating music, somewhat standardized instruments, etc. Pythagoras didn't phrase his teachings using algebraic symbols either. I suppose what I mean is that

> Reading math however does not guarantee ideas or intuition.

is true, but the converse, having the mind for good mathematical ideas or intuition, almost surely means that you'll have very little trouble picking up mathematical notation (not just notation, but the reasoning and ability to write a proof, be it in natural language or some formal proof assistant language).

Like yeah, before the written language there were great storytellers who couldn't write. But now that humanity does have standardized languages, it's way more rare to come across such a person.

queenkjuul 1 day ago||||
I've played music for twenty years and can't read sheet music to save my life. Pretty easy to learn the shapes and patterns on a keyboard or guitar without reading sheet music (easier on guitar) and i figure with drums like, while i might Google the chords of a song for guitar, I've never known any drummer that would learn a cover song via notation
strideashort 1 day ago|||
[flagged]
jackling 1 day ago|||
I've never met someone who believed this who was actually able to solve simple math or physics questions given to them. Attitudes like this always feel like cope to me.
api 1 day ago||
> Math has built a gated, inaccessible institution which - by design or not - served as a moat.

This has always been my problem with math going all the way back to college. It was obvious to me that the concepts were far less hard than the combination of notation and esoteric jargon with liberal use of symbols and weird letters made them seem. Math felt (and still does feel) "encrypted."

The impression math gave off is of an arcane discipline that uses its arcane-ness as a gatekeeping tactic, intentionally or not, and makes itself intentionally hard for newcomers to learn without being hand-held by members of the guild.

Of course I can say the same about a lot of computing, and I'm old enough to remember efforts to make computing more approachable like easier to learn languages and GUIs being mocked and scoffed at by "real programmers."

I think this is a pretty typical human group behavior.

I think this underlies a lot of AI hate from these communities today. AI makes it easy for outsiders to bash their way into the field with the help of an LLM. Yes, this often results in low-effort "slop," but if used correctly it can also help people climb the learning curve really fast. I've had great luck having an LLM make me some passable "slop" and then explain it and go around with me as we fix and refine it, explaining each step, and as it does so it feels like we are learning together. It's very powerful and I, as the student, can control exactly how the teacher presents the material.

I was able to do this to finally start grasping the math behind LLMs themselves: attention layers, tensors, etc.

A lot of people have a powerful visceral probably instinctive reaction to large numbers of migrants entering their area. "Build the wall!" I suspect this is brain stem stuff going back to evolving under conditions of scarcity where migrants meant less food.

renyicircle 1 day ago||
> the concepts were far less hard than the combination of notation and esoteric jargon with liberal use of symbols and weird letters made them seem

I really don't get the hate for mathematical notation here, do you have specific examples? Notation is a necessary tool to express complex ideas compactly so that others can understand them. It allows you to carry out technical proofs that confirm things that are "obvious". Then it uses previously introduced concepts to build new concepts on top of them. This keeps mathematics interconnected, there's value in explaining a concept in terms of already known things rather than just vibing it.

> makes itself intentionally hard

It doesn't make itself intentionally hard, it is just hard. You can simplify some expositions and make concepts easier to understand intuitively but it won't necessarily give you the skills to actually work with them in mathematical practice (which is the point of mathematics as a discipline).

jackling 1 day ago||
My theory is that people run into the inevitable difficulty of math and rather than look inwards and come to the conclusion they aren't as smart, or special as they once thought, they blame "the system". It can't be that they haven't tried hard enough or aren't smart enough, it's the gated community who hides behind esoteric jargon that stops them from being successful in their mathematical studies.

They believe this despite the fact that there are a million different textbooks, all explaining the same concepts in different ways, or different branches that specify the same structures with unique methods. It's really strange when I read threads like this. I'm not the greatest at math either, but that's because it's a hard thing to be good at.

To learn math is an exercise in humility. You must struggle hard, do hundreds of problems, spend years refining your understanding, redoing proofs, finding counter examples, just to be at a good undergraduate level. Much harder than pretty much all CS classes, except maybe Theory of Computation, which is pretty much math.

renyicircle 18 hours ago||
Yes, that could be the case. I'm not a mathematician but I gave my fair share of struggle towards trying to understand the mathematics behind physics that I was studying. You don't need to know what a smooth manifold is to solve problems in classical mechanics, just as you don't need to know what a tensor product of vector spaces is to learn what tensors are in the context of neural networks. The former is always harder because the standard of rigor is higher, and that's because of different goals. So it could be that a person tries to look up what a tensor is, finds the mathematician's definition first, thinks "what the hell is this", then finds a simpler explanation in applied contexts and goes away with the idea that mathematicians unnecessarily complicate things, because the reason why the mathematical definition has to be so complicated escapes them.
bananaflag 2 days ago||
> Similar logic applies to every industry and every job. And it comes to the conclusion that we won’t have enough people for all the jobs that need to be done.

In the (extremely) short run, yes. In the long run, those jobs will also be done by AI.

It's like chimpanzees seeing human society and saying "look how complex it is, imagine how many chimpanzees it needs to maintain it".

robotpepi 2 days ago||
> In the (extremely) short run, yes. In the long run, those jobs will also be done by AI.

Let's be honest: we don't know. Maybe you're right, but for the moment it's more likely that you're not. And countries cannot bet on that vague intuition at the cost of destroying their research communities and world leadership (which takes decades if not a century to achieve).

bananaflag 2 days ago||
I don't think research communities should be destroyed.

Best case, they still matter.

Worst case, AI kills us all and it's irrelevant that we "wasted" money on research.

DataDive 2 days ago|||
Chimanzee vs Human is not an appropriate analogy. First, because they cannot communicate properly.

A better analogy: look at all these highly trained engineers, mathematicians, doctors, writers, philosophers, writers, scientists.

How many dumbass politicians do we need to keep it all running smoothly?

Turns out no matter how dumb politicians were, overall society has been developing positively over the history of mankind.

sm0rad 2 days ago|||
Math proofs are special because they’re verifiable, safe, and do not require physical experiments. You can perform exhaustive parallel search in simulation with RLVR.

Do you think this applies to say, surgery, as well? There are few useful problems that share these properties.

cma 2 days ago|||
Not all of it would translate, but robotic surgery could be done on anesthetized animals in a mass RLVR way.
sm0rad 2 days ago|||
This is wrong, both morally and technically.

First off, I can’t imagine anything more torment nexus-y than throwing billions to automate and scale the torture of animals. If each token is a “cut”, how much suffering does 10 trillion training tokens (lower bound) corresponds to?

Second, this still doesn’t cover all the properties that make math proofs doable. It requires working in the physical world. You must physically capture or grow 10T cuts worth of animals. You cannot verify success so easily, either. Cancer cells, for example, could regrow over months. You would need to keep the animal alive and regularly test the animal, which would be difficult to scale. And most people wouldn’t trust the world’s greatest vet to operate on them, anyways.

cma 2 days ago||
I'm not advocating for it, I don't know enough. But we already slaughter lots of animals and raise them in horrible conditions, and all robot assisted surgery already goes through animal trials.

> Second, this still doesn’t cover all the properties that make math proofs doable. It requires working in the physical world. You must physically capture or grow 10T cuts worth of animals.

It would likely be sim2real with that as the post training, reducing that requirement a lot.

> Cancer cells, for example, could regrow over months.

In that specific scenario you would likely train on receiving no unrelated injuries during the surgery, and have induced conditions with stuff tagged molecularly that you can then verify efficacy from without waiting months.

Depending on how much more data efficient sim2real makes it, you could end up seeing companies pushing it only for actual procedures the animals need but economically would never get; botched surgery and the animal gets euthanized before waking up, which they could argue was already going to happen.

> And most people wouldn’t trust the world’s greatest vet to operate on them, anyways.

Robotic surgery systems, already go through animal trials before being used on humans. So do many purely human surgery techniques.

jebarker 2 days ago|||
> robotic surgery could be done on anesthetized animals in a mass RLVR way.

well that's an awful image

password54321 2 days ago|||
Do you think surgeons start performing surgery for the first time on people?
airstrike 2 days ago||
Sounds like you're saying that so long as the LLM with robot arms starts by operating on mice, cows and pigs you're fine with it
password54321 1 day ago||
wtf are you on. Surgeons practice on much more than animals.
vrganj 2 days ago||
But we're not building an AI society - to what end?

We're building tools to serve the human society.

dgellow 2 days ago|||
A few people with way to much power are building AI to achieve their utopian, sci-fi dream. A few other powerful people are using that first group to achieve their post-democratic goals. It’s the most obvious top down attempt at imposing their vision onto the rest of the world. They aren’t building tools to serve anyone else than themselves
aeve890 2 days ago||
>A few people with way to much power are building AI to achieve their utopian, sci-fi dream.

You mean dystopian. If it were a utopia everyone would be happy to welcome the new world order.

dgellow 2 days ago|||
No, I mean utopia. For them. A dystopia is what we will all experience, when the utopia they are pitching fails to materialize. I’m using the traditional, correct definition of the term, where a dystopia is a utopia that failed to achieve a paradise for the people and instead becomes hell
derpyzza 2 days ago|||
utopian for them, dystopian for us
scared_together 1 day ago||
> OBSERVATION: There are zero examples of any intelligent species which is vastly more capable than another species, yet surrenders decision-making control over its own future to the less-capable species.

Does the set of intelligent species only have one member? I cannot treat this observation as a general rule if there is literally one example of an intelligent species to theorize about.

nl 1 day ago||
My problem with this is that yes, looking at the species level from our sample of ~1 the most intelligent species wins out (although there seems to be a lot of debate as to if Neanderthals were more or less intelligent than humans).

But within the sample of the human species it is more common for less intelligent people to control more intelligent people.

This happens within political systems (political leaders are usually above average intelligence, but hardly the most intelligent) and within companies and other economic systems.

I don't see this fairly obvious point discussed, and not really sure what it shows.

RugnirViking 1 day ago||
> not really sure what it shows

it shows that you don't get anything for free. If it was without any cost in other areas to make a human massively more intelligent, it would presumably happen over time via the same processes that led to us.

As it is, the higher (and lower!) ends of the distribution tend to be highly correlated with other issues (mental+physical), and the further you go, the more unfortunate things which make it harder to do stuff in general start to crop up like psychosis, autism, ocd, anxiety, addiction etc

nl 1 day ago||
I'm not sure.

Maybe there are other things ("leadership", "likeability", "appearance" etc) that are more important in the pursuit of power than intelligence.

I think it's telling that it is usually conventionally intelligent people making the claim that intelligence is what leads to power.

js8 1 day ago|||
I am also not sure if the observation is true. People mentioned cats as a counterexample.

I think there are other species that could be considered more capable than humans, such as E. Coli, octopuses or ants.

And it's not even clear whether the AI will have its own individuality. It might become an extension of human brains, in the same way neocortex is an extension of amygdala. In that case the statement of who has control might become meaningless.

shikwasa 1 day ago|||
I think the quoted part is saying that given n species and the n * (n - 1) binary combinations possible, there are no examples of the said observation. It doesn't suggest "the set of intelligent species only [has] one member".
scared_together 1 day ago|||
The statement that the set has 1 member is my criticism of the text, not what the text is trying to say.

> given n species and the n * (n - 1) binary combinations possible, there are no examples of the said observation

I would expect that in the vast majority of combinations, those n species are not intelligent enough to make decisions for another species, making the statement nearly useless.

shikwasa 1 day ago||
The absence of such relationships given here are so many species is exactly the point being made by the author: there is no data to show that it would be safe, let along good, for us to surrender decision making to some more intelligent entity.

> I would expect that in the vast majority of combinations, those n species are not intelligent enough to make decisions for another species...

This kind of statement is very difficult to build discussions upon (not a criticism). "Vast majority", "intelligent enough" are both very difficult to quantify and there is too much subjectivity involved.

jay_kyburz 1 day ago|||
Yeah but there is only one species that ponders its future.

I stopped reading at this point because I reject this initial assertion, and I assumed everything that follows is based on it.

There is nothing to suggest that an AGI will care about its future or who controls it. (whatever that means). that just more anthropomorphism.

We care a lot about our future so an ai pretending to be like us will also pretend to care. But we have a lot of biology driving us. Our emotions (Fear, Hate, Love, Pride etc) are baked into us in a way just wont be the same for ai.

adamzenith 1 day ago||
> There is nothing to suggest that an AGI will care about its future or who controls it.

Isn't this exactly the scary thing? A sufficiently advanced agent unleashed with an imperfectly defined goal will do whatever it determines it needs to do to accomplish it, careless of the consequences.

philipwhiuk 1 day ago||
I agree.. I felt a bit blindsided that the guy would start with saying "we need provable statements" and then just throw this in there.

For guest post on Tao's blog, after a decent start this fell short of expectations rather rapidly.

FLeXMurphy 1 day ago||
I'd like for HN to start tagging posts that are not written by terry tao, but are guest posts, like this one. Considering HN internally already uses AI tools to scan through and read the content to determine if it is AI-generated, I assume this is doable.
immmmmm 1 day ago|
I’m out of academia but in defence of former colleagues I note:

- Maths and theoretical physics are very cheap (compared to other disciplines)

- Maths and physics researchers provide lectures for all other scientific fields

- Brut forcing maths/physics problems require debilitating amount of compute/money. This will make research in these topics even more biased towards rich countries.

- There most certainly will be pervers effect, ppl refraining from publishing results etc

- it’s very unlikely that private ai labs will play ball with academic research. They scrapped the internet and now sell access to their models.

As much as I’m happy to see new tools, I have the feeling there will be nefarious effects.

More comments...