Top
Best
New

Posted by jonbaer 20 hours ago

Mathematics in the age of AI(arxiv.org)
180 points | 206 commentspage 2
efavdb 9 hours ago|
one thought: AI can often help us solve a problem once posed. E.g., try to prove that X is True. But formulating good conjectures is something altogether different. right now we have a backlog of interesting / good conjectures that ai can grind on. but once those are done, will we still need people to sniff out interesting new ones?
sonicrocketman 19 hours ago||
Anyone else print their white papers before reading? (At least the short ones)
ivansavz 17 hours ago||
Absolutely. I feel I gain at least 10 IQ points when reading something on paper.

This is also the strategy I use for editing drafts of my books. I bring a printed draft to someplace nice (e.g. coffee shop or park) and read it all carefully, then I transfer the edits back to the .tex sources. I do several passes of this, until I feel the text + explanations are solid.

Reading on screen just isn't the same...

i_am_a_peasant 4 hours ago||
Oh hey I was thinking of buying your stats book! I'll do that right away.
magneticnorth 19 hours ago||
When I was in academia and had easy access to a good printer, I always did. I miss it now that it's easier to just read on my screen.
caglaroktay 15 hours ago||
AI also can replace a lot of expert attention too. Why not? What is useful or what is not useful is based on the expert's narrow opinion. An AI system can do much more and deep value comparison. It looks like if our current technological advancement continues, in the space of what is possible (or even impossible), AI can find the optimal solutions better than any human or human organizations. But I think there is only one think will remain for humans to go for these solutions: what we value. that will be the last resort I believe and hopefully ai systems won't start manipulate us too as we are very fragile on manipulation.
mmoll 15 hours ago|
But how would „what we value“ still be relevant?
tocs3 19 hours ago||
Maybe the Hitchhikers Guide to the Galaxy series was predictive in pointing out the problems of ill defined questions (The Answer to the Ultimate Question of Life, the Universe, and Everything).
ghm2199 14 hours ago||
Goal 6.4 reminds me always of the numerous times AI generated n PR's for a feature and I revolted and threw my laptop because it was incomprehensible or unworkable when viewed as a process/workflow.
paulpauper 18 hours ago||
Not using AI puts one at a huge disadvantage in a career setting. Ai can find deep references better than humans now, let alone actually doing the math. The challenge is knowing which problems to tackle given the cost limitations. If you have $10k to spend on tokens, you have to choose problems that can conceivably be solved within this budget.
nadermx 18 hours ago||
[flagged]
qsera 18 hours ago|
If the title have said in the age of "LLMs", I might have given it a try.
GPerson 17 hours ago||
You should give it a try. Tao is a wonderful person and is trying to help humanity.
qsera 11 hours ago||
> is trying to help humanity.

That is what all marketing wants you to think...

GPerson 9 hours ago||
It’s not marketing. This guy could have signed up for one of those hundred million dollar salaries with a phone call and did not. I know several people who have met him and everyone says he’s the genuine article. He’s actually just devoted to human mathematics.

One tragic thing about all of this is that unlike almost every profession, mathematics actually has a kind of honesty. You honestly solve the problem or you don’t. The pecking order in mathematics at least used to have a grounding in actual abilities. People respect this guy because he’s actually legit.

qsera 8 hours ago||
Legit people are used by marketing all the time.
frozenseven 15 hours ago||
Out-of-hand dismissal of Terence Tao is certainly a take.

And the term "artificial intelligence (AI)" has been the name of the field for 70 years and counting. If anything, "LLM" is a misnomer that's been lingering around since 2018-19. When the term was coined, these systems were relatively small, experimental, and could only produce impractical facsimiles of the English language. This is obviously no longer the case today.

eloisant 14 hours ago|||
"artificial intelligence" is a vague and moving target. I'm not sure I would call that "a field".

It's been used to talk about computers playing chess, then machine learning, and now LLM-based systems.

frozenseven 12 hours ago||
Of course it's been "used" to talk about those things, because all of those things are examples of AI. Always have been.
qsera 12 hours ago||
Then it has always been the age of "AI"...So the article title is inaccurate!
frozenseven 10 hours ago||
We can meaningfully talk about (1) the existence of a field and (2) the said field hitting its stride. The title of Tao's article denotes the latter.

And oh, what a stride it is: https://vibemathed.com/stats

qsera 8 hours ago|||
Sure, but I expect more precision from people like the author.
qsera 12 hours ago|||
>This is obviously no longer the case today.

Advancement in capability does not mean the mechanism is the different. The LLM name denotes a very specific mechanism..

frozenseven 10 hours ago||
>The LLM name denotes a very specific mechanism..

No, not really. This is just the term that stuck around. The "large" is now up to five orders of magnitude larger and "language model" has gone far beyond any simple notion of modeling a singular natural language. And anything you'd cite about transformers, or tokens, or autoregression, etc., is more of a factoid about what works best and happens to be the most convenient in the here and now. I see all of this as an unbroken continuation of work that's been going on since the 1940s.

Instead of trying to play word games, why can't you just read Tao's article?

qsera 9 hours ago||
> The "large" is now up to five orders of magnitude larger and "language model" has gone far beyond any simple notion of modeling a singular natural language.

Does not matter. It is still an LLM.

And I am not the one who is playing word games. You and your idols are, for sake of marketing.

amoss 4 hours ago|||
If you place an LLM into a harness, alongside evaluation, feedback and problem decomposition / solution integration - it is still an LLM?

There is an LLM acting as a component in a larger system. But that larger system is not an LLM. Calling it an "AI" is indeed an act of marketing as there is no learning / adjustment as we would expect from an intelligence, but calling it an LLM seems to be inaccurate. So what is it?

frozenseven 59 minutes ago||
>Calling it an "AI" is indeed an act of marketing

Again, this is literally the name of the field (and the tech). It's been around longer than you and probably your parents.

Dartmouth workshop (1956):

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

Random dusty undergrad textbook from the early 70s:

https://m.media-amazon.com/images/I/816fxHVJkHL._SL1500_.jpg

>there is no learning...

If human-like continual learning is suddenly the standard, you can just as easily say that terms like machine learning and deep learning are an "act of marketing".

amoss 16 minutes ago||
Quoting directly from the dartmouth conference:

"every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it."

frozenseven 7 hours ago|||
>Does not matter. It is still an LLM.

Cool. So now you can accept that "LLMs" are an obvious example of AI.

>You and your idols are, for sake of marketing.

Let's be very clear here. Terence Tao is arguably the greatest mathematician alive. Yet, you are throwing lazy insults and accusations around because you don't like the term "AI". And that's my final comment for you, troll.

qsera 5 hours ago||
> So now you can accept that "LLMs" are an obvious example of AI...

Not sure what this has to do with what I said. A lot of things have been called "AI" in various times. None of them including the current crop of LLMs are not really AI. But people use AI term loosly and that is fine. But it is a problem when a some thought leader does it.

>troll.

Tell me you have run out of arguments without saying you have run out of arguments...