bananaflag

4 ms·

1.
by bananaflag 5d ago
I frequently say what you say, but there is a more charitable reading: today's AIs are not "minds", as they are not stateful. Maybe continual learning ones (like the mini AGI exhibited today on the HN front page) will be perc
2.
by bananaflag 5d ago
I think to me LLMs had the effect of noticing much more the author, the intention behind human-made works of art (books, movies etc.). Before LLMs, I used to frequently consume media in a way as it were generated by a mindless process. Now
3.
by bananaflag 5d ago
This is the first thing I see in my life that really looks like proto-AGI, it deserves its name.
4.
by bananaflag 6d ago
Okay, fair enough.
5.
by bananaflag 6d ago
Okay here's one of his explicit predictions, from 2018 (before LLMs) about 2023: "If AI can generate images and even stories to a prompt, everyone will agree this is totally different from real art or storytelling." https:&#
6.
GPT-2 as a Step Toward General Intelligence (2019)(slatestarcodex.com)
2 points by bananaflag 6d ago|0 comments
7.
by bananaflag 6d ago
Scott Alexander predicted LLMs will write math proofs in 2019: https://slatestarcodex.com/2019/02/19/gpt-2-as-step-toward-g... Of course people were skeptical: https://www.reddit.com/r/sl
8.
by bananaflag 6d ago
Now I want GPT-4.5
9.
by bananaflag 6d 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.
10.
by bananaflag 6d 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 d
11.
by bananaflag 6d ago
On the other hand, STEM will disappear last because, as long as machines won't be able to do something, the study of how to make them do it will be a part of STEM.
12.
by bananaflag 7d ago
> I've seen people that do well in undergrad math degrees simply by massively memorising things and learning how to join them up to some level of degrees-of-separation, but seemingly completely fail to understand, for ezample, why e
13.
by bananaflag 7d ago
> As someone who mostly only applies math, that strikes me as a peculiarly academic take. Yeah I was talking strictly about preparing students to become pure mathematicians. No opinion here on other goals.
14.
by bananaflag 7d ago
> Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition . . . and honestly I don't think many people believe that Yes, I believe that, it's part of what I was implying (I believe the LLM
15.
by bananaflag 7d ago
A lot of existing research is already like that. AI will accelerate it.
16.
Don't treat surface-level AI metaphors as if they describe fundamental reality(blog.andymasley.com)
2 points by bananaflag 7d ago|0 comments
17.
by bananaflag 7d ago
> The person employing the socratic method must actually know the answer and where the student is in their mind. The socratic method also has a much higher chance of revealing where the student is in their mind.
18.
by bananaflag 7d ago
But the thing is, all have that icon+text style in the "tombola, cakes and drinks..." part. If I wanted to be distinctive, this is what I would have tried to get rid of at first, not the "visual style" (it's sort of
19.
by bananaflag 7d ago
As a math prof, I care(d) much more about proof than intuition, not because proof is more important, but exactly because intuition is (I'm a bit Chesterton-ish here haha). You cannot do proof without intuition hence, if you emphasize p
20.
Astra broke a yet unsolved German Army Enigma message from 1941(mvueh-enigma-solved.carterl.chatgpt.site)
4 points by bananaflag 8d ago|1 comments
21.
by bananaflag 8d ago
Nice, it's pre-AI
22.
by bananaflag 9d ago
3. He is not to be confused with Hermann Weyl.
23.
by bananaflag 9d ago
I know people who did research on the side for a decade while having an ordinary job. They then returned to academia. I couldn't do that, but I know there are people more passionate than me.
24.
by bananaflag 9d ago
Well, it's not like humans are nigh-invincible demigods. We are quite fragile and could have killed ourselves as a species since way before AI. If AI wants to kill us, it shouldn't be that difficult. So I don't see why people
25.
by bananaflag 9d ago
> I can not fathom a LLM could conceive from scratch concepts like the real numbers by Dedekind. What stops you? I can fathom it alright. I am always suspicious of these arguments like "a machine won't do thing x which humans c
26.
by bananaflag 9d ago
> Somewhere, some rationalist-brained person is reading this and saying I'm a "low decoupler", and that whether they run a sex cult has nothing to do with whether they're correct. Glad he's at least admitting it
27.
by bananaflag 9d ago
Thing is, you can say that about any technology (not being here necessarily pro AI in math, but I think we need better arguments).
28.
by bananaflag 9d ago
I admit that I have always looked at an explanation like yours with x1,...,xn when using fold because I could never keep it straight in my mind.
29.
Dream-RSI: Recursive Self-Improvement through Evolving Worlds(arxiv.org)
88 points by bananaflag 10d ago|22 comments
30.
by bananaflag 11d ago
A professor of mine had an anecdote of meeting Serre and complaining to him about Bourbaki style and how hard it is for students. Serre's reply was "But we never wrote those books for students! We wrote them for researchers to hav

More ›