YeGoblynQueenne

5 ms·

1.
by YeGoblynQueenne 5d ago
Sorry, I don't understand what you mean. Unfortunately it's not easy to try the current version of Cyc and there's not a lot of information about it easily accessible either. You can also consider Watson, different to Cyc in
2.
by YeGoblynQueenne 5d ago
That's a bit like saying that a physicist is more like to understand how a car works than anyone else because they understand all the principles of an internal combustion engine. And yet, curiously, when we take our car to the garage t
3.
by YeGoblynQueenne 5d ago
>> If there happen to have been as many as four humans working on Navier-Stokes at any given time since the year 2000, then that's more human-years applied to the problem than agent-years. My bad for not showing my work and inadv
4.
by YeGoblynQueenne 5d ago
I get the feeling that mathematicians are needlessly panicking because they don't really understand how AI works. They see the results, but they haven't thought enough about the methodology and so they don't have a clear pict
5.
by YeGoblynQueenne 5d ago
Yes, it does. There are tons of things that we don't know how to get e.g. robots to do in the physical world and it seems that animals have a library of heuristics that let them do them cheaply and accurately. We totally want to be abl
6.
by YeGoblynQueenne 5d ago
Oh yeah, that. But I'm a bloody foreigner so I get to speak to other bloody foreigners :)
7.
by YeGoblynQueenne 5d ago
>> So any exclamation of "it was just using common sense", is missing the forrest for the trees. I don't know why you say this, I didn't say anything about common sense. However, you mention CYC. That's a syst
8.
by YeGoblynQueenne 7d ago
Wait a minute. We've had AI that is as capable as a human and even more so since the 1950's. I keep banging on that drum but the first AI system to prove mathematical theorems was Logic Theorist by Alan Newell and Herbert Simon, p
9.
by YeGoblynQueenne 7d ago
I'm sorry, where does it say the German operator mistyped the key? The article says indeed that the message remained unsolved because it was sent on the wrong date, but I can't see the bit about the mistyping anywhere.
10.
by YeGoblynQueenne 7d ago
>> Well, apparently we do have a non-deterministic black box that is pretty good at coming up with a bunch of heuristics ideas, and we also have a deterministic process to validate those ideas! Do we? When have LLMs come up with heur
11.
by YeGoblynQueenne 7d ago
Where in the UK? I've lived in the UK, in the Southeast, for 21 years and I never heard anyone say "pspsps". I mean I don't doubt you, I just thought Brits just say "here kitty kitty" because that's what I
12.
by YeGoblynQueenne 7d ago
Well it seems everyone uses that! Thanks guys, I had no idea and this is so interesting to know. Now I wonder if someone has made some kind of study about it. I'll go looking.
13.
by YeGoblynQueenne 7d ago
"Cunting"! Not just "cunt" but "cunting"! I learned so much from this thread! :D
14.
by YeGoblynQueenne 8d ago
Wait, "pspspsps"? Where are you from? I thought only Greeks do "pspspsps".
15.
by YeGoblynQueenne 8d ago
It's not exactly like a proof assistant because it has a built-in generate-and-test loop: an LLM generates code until the code passes verification. Basically that's all of AI nowadays: generate-and-test loops. It's like the 1
16.
by YeGoblynQueenne 8d ago
Oh yes, if you know what problem you're trying to solve you can come up with clever ways to solve it cheaply: a heuristic. The trouble is when you want to do that in the general case, i.e. when you don't know the problem you'
17.
by YeGoblynQueenne 8d ago
The post seems to make this assumption that AI companies are going to want to solve all the major outstanding problems in mathematics, and possibly some adjacent fields like Computer Science and Physics, maybe. Is that really the case? The
18.
by YeGoblynQueenne 8d ago
>> Induction is the one trick that makes all of mathematics (as we know it) possible, and it also applies to software. So, for example, to prove that no move leads to an invalid state, we prove that the initial state is valid, and the
19.
by YeGoblynQueenne 8d ago
>> When I hit ctrl+s in my editor I expect that my cursor does not change colour, that the window does not minimize, that the program does not crash if there is no disk space left and so on. I take it you haven't used Microsoft W
20.
by YeGoblynQueenne 8d ago
I like it. It's like Bogosort- the Language. It would work much better if a) tokens were free and b) computation, therefore retries, didn't take any time at all. In the current world it's going to be fun watching LLMs getting
21.
by YeGoblynQueenne 9d ago
>> One of the duties she relished was photographing the drinks and menu items, including a few signature items like a cheesy bread dish from their native country, Georgia, for their social media channels and website. Khachapuri, I pre
22.
by YeGoblynQueenne 9d ago
>> I possibly should just drop reading this place until we have most noisy people go away. Not to disappoint you but I don't think they ever will. HN is free to join and use so people will join and use it and say whatever they wa
23.
by YeGoblynQueenne 9d ago
I think your sarcasm is justified. I, too, am tired by the big claims that are only based on hype.
24.
by YeGoblynQueenne 9d ago
>> Not at all. LLMs learn by imbibing a mass of relationships as isolated fragments of information. You gotta be careful how you use the word "relation" here because there's an informal meaning (I'm related to my c
25.
by YeGoblynQueenne 9d ago
Sutskever's claim is that in order to predict the next token a system must learn something about the "underying reality" that produced the token. In the context of chess that means that the LLM must learn something about pla
26.
by YeGoblynQueenne 9d ago
H... how do you know?
27.
by YeGoblynQueenne 9d ago
>> Has food ever looked like the picture, though? Er, all the time? In the South East of England, I specifically look for menus with pictures of the food on Just Eats because I can get an idea of how good the food is going to be that
28.
by YeGoblynQueenne 10d ago
No, I don't agree it's the norm. There is though a general tendency to opine with strong views on subjects posters have no expertise on. I think that's because many are software engineers (or equivalent) and they are used to
29.
by YeGoblynQueenne 10d ago
>> I'm not sure why anyone is expecting stochastic systems to be deterministic. Monte Carlo Tree Search is stochastic.
30.
by YeGoblynQueenne 10d ago
For me the useful intuition is that LLMs haven't somehow magickally learned to implement any of the algorithms we know that we have used to make strong chess engines: alpha-beta minimax and Monte-Carlo Tree Search on the one hand, and

More ›