golol

4 ms·

1.
by golol 8d ago
Has nothing to do with AI-hype. Anyone who is interested in Lambda calculus should find his work intriguing.
2.
by golol 8d ago
It is mean for the last point I mentioned: Taelin is very transpparent about his work which makes it easy to attack him. And what for? This post is not even a proper criticism of Bend 2, it is just trying to paint some story that Taelim is
3.
by golol 8d ago
I find this to be a mean and misguided post. To suggest that Victor Taelin does not know about formal methods. As I understand, he is trying to do something genuinely new and interesting. And he is transparent about his work, which he then
4.
by golol 17d ago
It doesn't really make sense what he said. Everyone expects N-S to have blow-up. If you are going to try to show blow-up, C and D are strictly easier than A and B. So Tristan was not clear about what detail of "route" he is t
5.
by golol 18d ago
I just meant that choosing the same 2 routes out of 4 would not at all be a great coincidence without knowing what Tristan was working on.
6.
by golol 18d ago
>"It is not the direction one arrives at in a few days by giving a model the problem statement." To be honest, he was referring to routes (c) and (d) to the millenium problem, as far as I understand no more specific. Which is 2
7.
by golol 22d ago
This is oversimplifying it. Read the metr report on the huggingface incident.
8.
PDE and Cellular Automata Simulator(simpde.gololcohan.chatgpt.site)
1 points by golol 1mo ago|0 comments
9.
by golol 1mo ago
I just had thw thought: aren't parentheses just punctuation denoting an inline footnote?
10.
by golol 3mo ago
Cute, but for strange words clicking the longest explanation turned out to be akmost always rhe correct one :)
11.
by golol 4mo ago
Read the declaration. The article misrepresents it imo. It is not strongly opinionated.
12.
by golol 4mo ago
Yes what I was saying is what I believe about the goalposts.
13.
by golol 4mo ago
I think based on the class of problem that RH is an independence result is not something that "really happens".
14.
by golol 4mo ago
I did not have the impression the proof uses a surprising and novel contribution of fields. I think the proof uses standard application techniques of algebraic number theory towards discrete geometry. If you have a quote substantiating what
15.
by golol 4mo ago
You are believing a very unlikely scenario. I think the reason is that you have been convinced of a claim which is unlikely and indeed not true. That is: >the model seems so capable at doing things like refuting fundamental theorems of m
16.
by golol 4mo ago
You should believe that the proof works at least as much as any ither paper in mathematics. The proof has been scrutinized by experts and simplified and improved. If you don't believe that then I'm sorry but you are deluding yours
17.
by golol 4mo ago
No it is not Leibniz/Euler/Galois. More like writing good papers that contribute to the broader understanding of a theory. I think if one evaluated a mathematicians research output and it consisted of mostly the kinds of problems
18.
by golol 8mo ago
Giving an addict a hit also reduces anxiety.
19.
by golol 10mo ago
Getting 65% of the population to spend 1% of their income on some new digital toy forever does not seem so far fetched.
20.
by golol 10mo ago
I think I should be able to collect whatever publicly available data I can find.
21.
by golol 11mo ago
I am pushing the optimism a bit of course, but currently we can see many demos of robots doing basic tasks, and it seems like it is quite easy nowadays to do this with the data driven approach.
22.
by golol 11mo ago
Say you want to steer an android to walk forward. You need to provide angles or forces or voltages for all the actuators for every moment in time, so that's high dimensional. If you already have certain control models, neural or not, y
23.
by golol 11mo ago
The gap between high level and low level control of robots is closing. Right now thousands of hours of task specific training data is being collected and trained on to create models that can control robots to execute specific tasks in spec
24.
by golol 11mo ago
>Paper claims definition of AGI >Look inside >No definition of AGI.
25.
by golol 1y ago
This is pretty cool. I have several points to make. 1. We all know that Cellular automata or more generally any dynamical system of sufficient complexity (and maybe not too much complexity) will be Turing complete, will have complicated &qu
26.
by golol 1y ago
If we could build mechanical horses they wiuld be absolutely amazing!
27.
by golol 1y ago
SpaxeX does clean work.
28.
by golol 1y ago
Well yes, you can "hack" the pseudorandom number generator, but... that's not really the point when talking about determinism in LLMs is it? I mean the mathematical idea of the standard LLM is certainly truly random.
29.
by golol 1y ago
Hold on a second. A transformer produces deterministically a probability distribution over the token alphabet from the context. Then one samples from this distribution. This is random and meant to be random.
30.
by golol 1y ago
I wonder if here is a bug. For me it also always repeats the initial question.

More ›