HackerLangs
TopNewTrendsCommentsPastAskShowJobs

Davidzheng

1,102 karmajoined hace 6 años

Submissions

Quo Vadis, LLM Benchmarks?

florianbrand.com
3 points·by Davidzheng·hace 4 meses·0 comments

Harmonic's Math AI (Aristotle) Solves an Erdős-Problem

erdosproblems.com
2 points·by Davidzheng·hace 7 meses·1 comments

comments

Davidzheng
·hace 13 minutos·discuss
Your comment is somewhat emotionally charged, but I choose to respond to the overall point as a mathematician. I think it could be true that utility is correlated with difficulty but it is certainly not defined by it.

In pure mathematics, we reason about a world of abstract objects which are considered interesting ab initio. It may be because they arise directly or often from extremely basic operations, they are connected to many other interesting objects, or that they present special and surprising properties. The importance is basically, there is some surprising, interesting, phenomena which occurs in our world which we don't understand and which we seek to understand. Like science but in the non-physical world.

I think if you create a simple to describe system/construction with a property which is extremely difficult to prove. You are creating an object in our world which is basic but have properties which we don't understand (because we can't prove this property). So indeed I believe it would be an interesting thing to study and be of value. I don't see any problems/issues with this. I don't think the only valuable pursuit of humans is to improve the welfare of other humans. I think understanding the world is also valuable.
Davidzheng
·hace 26 minutos·discuss
Sorry but I completely disagree with your statement that "every novel result is broadly perceived as a big deal". Most results certainly are not consider this way (even though the average result has difficulties that are much higher than novel computer program you may have in mind -- no offense)
Davidzheng
·anteayer·discuss
Well that's the only way to escape the permanent underclass, otherwise even Elon is not excempt;)
Davidzheng
·hace 3 días·discuss
Post-training can have big gains no? I don't think the current sizes at ~1T are saturated in intelligence (it's like saying AlphaGo Master is just a post-trained version of AlphaGo Lee)
Davidzheng
·hace 5 días·discuss
Evidence towards aside, the risk calculation depends on how much upside is from the 100B if progress starts the same rate. I think it's hard to bound that accurately
Davidzheng
·hace 9 días·discuss
I don't think Anthropic is claiming it's world ending? Just that it has offensive cybersecurity abilities which can be dangerous
Davidzheng
·hace 10 días·discuss
Is it completely clear to you what the purpose of this is? It isn't completely clear to me but it's very likely it's an issue with me. I feel that it can be part of some larger counteroffensive against certain actors in China in a way that is more than just the signalling here--like maybe there's much more we haven't seen. In any case, it certainly shows their willingness to use less conventional tactics against those they view as adversaries.
Davidzheng
·hace 10 días·discuss
But it reads to me like the thread parent's point is that there are many unknown risks which can exist? I also wonder about long term effects to the health of the genome from IVF and other forms of fertility treatment as infertility could be acting as some sort of protection mechanism of the genome. But I suppose such objections form a continuum which extends to treatment of all genetic diseases or diseases in general--all of which probably applies some evolutionary pressure towards more healthy individuals but which we as a society have to balance against wellbeing of individuals and their human rights.
Davidzheng
·hace 14 días·discuss
oh so they should team up
Davidzheng
·hace 14 días·discuss
But in any case, I think more than 10% of information workers today can be replaced by current-generation models indefinitely.
Davidzheng
·hace 14 días·discuss
Yeah it's not true that for every job, it is better than median worker of that job. But it is conceivable that for almost all jobs it is already better than the median human (not just workers of that job).
Davidzheng
·hace 14 días·discuss
And what is it worse at than an average human today that can be done on a computer?
Davidzheng
·hace 22 días·discuss
Maybe what can happen is that the people who benefit from it donate back into the organization of this room when they have the means decades later?
Davidzheng
·hace 26 días·discuss
ok I guess they had other clues then if you do any sort of comparison vs Nex & Qwen probably a lot of weird coincidences will show up if somehow the three weights are not linearly independent lol
Davidzheng
·hace 26 días·discuss
it's interesting that this was even guessed at
Davidzheng
·hace 26 días·discuss
If they only opposed it they wouldn't have had these billions of dollars? Also I think they genuinely believe they cannot stop it because the Chinese companies are close behind (I also believe it's impossible to stop b/c of strong economic pressures selecting for those who will advance this tech and there are many who can)
Davidzheng
·hace 28 días·discuss
Are you sure most of frontier cost isn't inference in RL environments?
Davidzheng
·hace 28 días·discuss
How is it ironic to believe in a risk that actualizes
Davidzheng
·hace 28 días·discuss
Theres quite a large number of people who believe it's basically impossible when the intelligence gap is too big
Davidzheng
·hace 28 días·discuss
I agree with this. But i think Ilya and Dario hold these beliefs sincerely. Probably a sizable portion of Anthropic employees too