youoy

8 ms·

1.
by youoy 3d ago
I am not surprised that Silicon Valley researchers say they cannot solve the alignment problem... Here the leading voice in the region publishes an article about how to be more powerful without any other mention of alignment but "users
2.
by youoy 3d ago
Woah, better than Madoff! How can i give him money?
3.
by youoy 4d ago
> The closest human parallel is self-deception, which is common and well studied by psychologists. Motivated reasoning, motivated cognition16 and the rationalizations that relieve cognitive dissonance (the discomfort of holding a belief
4.
by youoy 4d ago
I agree. Dario is a very smart guy and he is probably aiming for the best solution for humanity that at the same time keeps VCs/whoever gives him money happy, and keeps him in control because he does not trust the rest (probably with g
5.
by youoy 4d ago
How can you quantitatively evaluate that? By how many times it is used in the literature? That can be gamed and there is an inherent bias on that
6.
by youoy 4d ago
Will they give my auditing org access to their proprietary confidential secrets? Or will that happen only if they know i agree enough with them so that i am not a risk?
7.
by youoy 4d ago
By the same logic, suppose that Dario/Altman/Jensen accumulate all capital because they are the only one that have access to AGI and end up controlling democracy, turning the world into technofeudalism or whatever you want to call
8.
by youoy 4d ago
Your point was that its an unfair comparison because AI its a race. My point is that bioweaponds are also a race, but a less public one. You dont have the equivalent of Dario publishing an essay every month.
9.
by youoy 4d ago
Submissions are anonymous to the exterior viewers, but you do them from one account. You can extract impact metrics from that account for job applications
10.
by youoy 4d ago
You mean China is not developing biological weaponds?
11.
by youoy 4d ago
AI technology is now only audited by people who think like them. The ones that dont either dont join the company, or leave after a short stint as we have seen. That creates an information or feedback bubble which is not healthy nor producti
12.
by youoy 4d ago
For example I believe the world would be more secure with an open frontier AI lab, but the consequences of him doing that are too big for him.
13.
by youoy 4d ago
I like to replace thes AI text with "virus manipulation" "Given the acceleratung rate of virus manipulation in labs, its my worry that in 6-12 months a virus could scape a take over the world and collapse health systems.&quot
14.
by youoy 4d ago
This sounds to me like a cry for help from someone thats held hostage. His previous self is writting this from the possition of his current self who is too deep in the economic consequeces to be able to do anything meaningful other than wri
15.
Ask HN: New way of organizing Mathematical Research
2 points by youoy 4d ago|3 comments
16.
by youoy 5d ago
This all comes down to what we think mathematics is. There are two options here: Mathematics is just the formal system: in that case we will never be able to beat the AI as humans. The goal is then to cover as much of the formal landscape w
17.
by youoy 5d ago
Agree. That is also the part of the letter that does not make a lot of sense to me.
18.
by youoy 5d ago
If you have taken care, then share it with the community. People will be thankful and happy. The problem is with people that may do it without contributing to the community.
19.
by youoy 5d ago
We should create a platform where people can upload AI slop proofs anonymously without taking credit for it. That way the incentives of planting a thorem flag would go down. And if someone wants to clean an AI slop proof to advance the fiel
20.
by youoy 5d ago
Dont confuse mathematics with the formal system. If you beleive mathematics = formal system then AI is obviously better at it, and we dont need humans. But then who decides why a statement is mor important than another? In the eyes of a for
21.
by youoy 5d ago
It depends. If you are trying to understand better the field, then do a good write up of the proofs so that people can learn from it. If you want to earn the respect of people because you found interesting proofs. Then do a good write up of
22.
by youoy 8d ago
Maybe you need to imagine harder. That aside, if you want to make it rational, you can think of leaves in the context of explore-exploit dilema. Probably a wider exploration would allow you to find better things to exploit. Its like the 20%
23.
by youoy 9d ago
Thanks again for answering! As I told you I think the event is a good idea from your side. I would try to go beyond proof prompting and verification, and discussing the questions that you wrote above is the way to go. I am mathematitian tha
24.
by youoy 9d ago
Then 20 years go by and you wake up one day with questions that you cannot get out of your mind: why did I start prompting the LLM for? Why did I need these random proofs for? What do i do with my repo with 2billion lines of Lean?
25.
by youoy 9d 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
26.
by youoy 9d 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
27.
by youoy 10d 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)...
28.
by youoy 4mo ago
What? Children's play is now work? What timeline are we living in? Is this real life?
29.
by youoy 5mo 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
30.
by youoy 5mo 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)

More ›