benchmarkist

10 ms·

121.
by benchmarkist 2y ago
There will be a lot of apologists coming out of the woodwork to tell people that real mushroom hunters will also make similar mistakes like these AI bots with no sense or hint of any irony.
122.
Compilers for Free (2013)(tomstu.art)
2 points by benchmarkist 2y ago|0 comments
123.
by benchmarkist 2y ago
No point in arguing. If you think it will generalize then there is no reason to convince random people on the internet that ARC-AGI solver will get you closer to AGI.
124.
by benchmarkist 2y ago
Meaningless distinction.
125.
by benchmarkist 2y ago
Then you have no reason to argue with me.
126.
by benchmarkist 2y ago
That's true but there is also something called compounding interest. The relationship between people and money is not entirely linear.
127.
by benchmarkist 2y ago
The wealth gap will continue growing because it is much easier to make money once you have a lot of money.
128.
The case for reducing existential risks (2017)(80000hours.org)
4 points by benchmarkist 2y ago|0 comments
129.
by benchmarkist 2y ago
Humans are not generally intelligent. The adjective "general" in "AGI" does not mean it is equivalent to human intelligence, it means it's above and beyond human intelligence.
130.
by benchmarkist 2y ago
Show me an LLM that is doing any of the things you mentioned and furthermore I'm willing to bet none of that will be possible after ARC is solved either. How much money would you be willing to bet?
131.
by benchmarkist 2y ago
Because it's a set of puzzles on a 2D grid. We don't live on a 2D grid so it's already on the wrong track. A set of puzzles for a 3D sphere wouldn't get us any closer to AGI either but at least it would be a more realist
132.
by benchmarkist 2y ago
The contest is misnamed, solving ARC will not get us any closer to AGI.
133.
Existential Risk: Threats to Humanity's Future(existential-risk.com)
1 points by benchmarkist 2y ago|0 comments
134.
Automatic Differentiation in Ruby (2016)(tomstu.art)
3 points by benchmarkist 2y ago|0 comments
135.
by benchmarkist 2y ago
I am willing to bet it won't be solved by 2028 and the betting market is overestimating AI capabilities and progress on abstract reasoning. No current AI on the market can consistently synthesize code according to a logical specificati
136.
by benchmarkist 2y ago
An AGI is often claimed to be a general purpose problem solver and these are exactly the types of problems that a general purpose problem solver would be able to solve if given access to a mathematical library. All existing LLMs have been t
137.
by benchmarkist 2y ago
You could but most LLMs can't solve sudoku puzzles even though the training corpus already contains books on logic, constraint propagation, and state space exploration with backtracking.
138.
by benchmarkist 2y ago
That's correct. Thanks for clarifying for me because I have gotten tired with the comparison to "99% of humans can't do this" as a counter-argument to AI hype criticism.
139.
by benchmarkist 2y ago
I looked at the sample questions and even if they get the questions there is no way they will figure out the answers without making significant breakthroughs in understanding mathematics and logic.
140.
Earth Could Be Alien to Humans by 2500 (2021)(scientificamerican.com)
28 points by benchmarkist 2y ago|25 comments
141.
by benchmarkist 2y ago
Very cool. It'll be nice to have a benchmark that can be used to validate abstract reasoning capabilities because the hype is really starting to get out of hand.
142.
by benchmarkist 2y ago
It will be a useful benchmark to validate claims by people like Sam Altman about having achieved AGI.