youoy

5 ms·

31.
by youoy 1mo ago
Hey! Thanks for answering, i appreciate it. Dont get me wrong, this is what you should be doing, understanding what these models are good (and most importantly bad) for. My observation is that this is very very valuable for the labs, and in
32.
by youoy 1mo ago
Should I read this as the big labs trying to move maths forward? Or the big labs trying to use professional mathematitians as (cheap?) Labour for validating LLM outputs? On yesterdays "An Alien Mind" post from openAI they openly s
33.
by youoy 1mo ago
It looks good at the begining, but at some point it starts saying "half truths", or stating facts/conclusions with confidence as if that was the main reason, but its just half of it (and maybe not the most important half)...
34.
by youoy 5mo ago
What? Children's play is now work? What timeline are we living in? Is this real life?
35.
by youoy 6mo ago
100% agree, and I experienced that behaviour first hand. I got confident, started giving less guidelines, and suddenly two weeks have passed and the LLM put me into a state of horrible code that looks good superficially because I trusted it
36.
by youoy 6mo ago
Nicely written! I was thinking about this the other day. What is the benefit from your point of view of procesing information full of null pointers? (I know what the benefit of not halting its programming is :P)
37.
by youoy 6mo ago
If i get your point based on your answers: "intelligence" cannot be divided into categories. If you are intelligent, you can be trained to do whatever skill you want, its just a matter of being taught or exposed to the probelm. So
38.
by youoy 6mo ago
Finally a comment which is clearly 100% human
39.
by youoy 8mo ago
This site is getting invaded by AI bots... how long before its just AI speaking with AI, and just people reading the conversations thinking that its actual people?
40.
by youoy 9mo ago
To me that graph seems to say that the pure "subconscious" stuff or "ML similar" stuff peaks earlier, but comprehension peaks much later. So you perfect your tools in the brain at around 25, but then it takes another 20
41.
by youoy 9mo ago
I would go even further: Not only the vast majority, but 100% of non pacifist like AI weapons.
42.
by youoy 9mo ago
I finished reading this comment wondering what should I take away from it. Is it better to include alarming titles and be read? Or the other way around? Or what would be the sweet middle point?
43.
by youoy 9mo ago
I quote for context: > But what about those of us who are well into the flattening part of the curve, what can we do for ourselves? You can seek new experiences perhaps. If time goes faster because your life has fewer firsts and more rou
44.
by youoy 10mo ago
It completely depends on the way you prompt the model. Nothing prevents you from telling it exactly what you want, to the level of specifying the files and lines to focus on. In my experience anything other than that is a recepy for failure
45.
by youoy 10mo ago
I think that the main missunderstanding is that we used to think programming=coding, but this is not the case. LLMs allow people to use natural language as a programming language, but you still need to program. As with every programing lang
46.
by youoy 10mo ago
That would be the case in an idealized world. As with everything this depends on the circumstances and the economic activity of where the person is living in. I guess that with the north american eyes it is the employee's fault if the
47.
by youoy 10mo ago
You were talking about exploitation. Using the fact that the employee cannot obtain a better employment elsewhere to extract as much of the production or value from the employee smells a lot like exploitation to me.
48.
by youoy 10mo ago
In the end this depends on your definition of "fair". What percentage of your generated production do you think is fair for the company to take? 95%? 50%? 10%?
49.
by youoy 10mo ago
Notation an symbology comes out of a minmax optimisation. Minimizing complexity maximizing reach. As with every local critical point, it is probably not the only state we could have ended at. For example, for your point 1: we could probably
50.
by youoy 10mo ago
> As Venkatesh concludes in his lecture about the future of mathematics in a world of increasingly capable AI, “We have to ask why are we proving things at all?” Thurston puts it like this: there will be a “continuing desire for human un
51.
by youoy 10mo ago
> Right now, even people who reject meritocracy understand its logic. You develop rare skills, you work hard, you create value, and you capture some of that value. The premise is that AI does not allow to do this any more, which is compl
52.
by youoy 11mo ago
So is what i wrote a third one? Fourth? Fifth? :)
53.
by youoy 11mo ago
I get your point, but i think the real issue is -(1/(-1/x)). It is the one that is being overlooked the most in our society, as if it were something normal, but it contains some of the deepest truths imho.
54.
by youoy 11mo ago
Ahh nothing better than seeing someone on the wild thinking that their life decisions are 100% independent from their environment. Enjoy your false sense of freedom while you can!
55.
by youoy 11mo ago
The reward functions in the problems that they proposed alphaevolve are easy. The reward funtions of at least 50% of maths are not. You can say that validating if a proof is correct is a straightforward reward, but the size of interesting t
56.
by youoy 11mo ago
> AlphaEvolve did not perform equally well across different areas of mathematics. When testing the tool on analytic number theory problems, such as that of designing sieve weights for elementary approximations to the prime number theorem
57.
by youoy 11mo ago
The closest thing that you may get is a manifold + noise. Maybe some people thing about it in that way. Think for example of the graph of y=sin(x)+noise, you can say that this is a 1 dimensional data manifold. And you can say that locally a
58.
by youoy 1y ago
True, but 4 years old? The reactions that 4 year olds have to videos on screens is like drugs. They are fully hipnotized while watching the video, to the point that its difficult to get them to react to the outside world, and turning off th
59.
by youoy 2y ago
Theorems discovery is amenable to verifiable rewards. But is meaningful theorems discovery too? Is the ability to discern between meaningful theorems and bad ones an emergent behaviour? You can check for yourself examples of automatic proof
60.
by youoy 2y ago
Thank you for the 91 proof! I didnt know about that

More ›