Viewing profile — golol

Cute, but for strange words clicking the longest explanation turned out to be akmost always rhe correct one :)

Read the declaration. The article misrepresents it imo. It is not strongly opinionated.

Yes what I was saying is what I believe about the goalposts.

I think based on the class of problem that RH is an independence result is not something that "really happens".

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 toward…

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 capabl…

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 beli…

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…

Giving an addict a hit also reduces anxiety.

Getting 65% of the population to spend 1% of their income on some new digital toy forever does not seem so far fetched.

I think I should be able to collect whatever publicly available data I can find.

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 dri…

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 yo…

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 model…

>Paper claims definition of AGI >Look inside >No definition of AGI.

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 co…

If we could build mechanical horses they wiuld be absolutely amazing!

SpaxeX does clean work.

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 sta…

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 ran…

I wonder if here is a bug. For me it also always repeats the initial question.

Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.

More middlemen = more revenue/GDP, right?

IMO many misrepresentations. - pretraining to predict the next token imposes no bias against surprise, except that low probabilities are more likely to have a large relative error.…

I heard the OSSmodels are terrible at anything other than math, code etc.