HackerTrans
トップ新着トレンドコメント過去質問紹介求人

baanist

no profile record

投稿

How Net Zero Killed 1.5C [video]

youtube.com
1 ポイント·投稿者 baanist·2 年前·0 コメント

There Is No Energy Transition – Interview with Mark Mills [video]

youtube.com
1 ポイント·投稿者 baanist·2 年前·0 コメント

BP abandons goal to cut oil output, resets strategy

reuters.com
77 ポイント·投稿者 baanist·2 年前·86 コメント

[untitled]

1 ポイント·投稿者 baanist·2 年前·0 コメント

Physicists Pinpoint the Quantum Origin of the Greenhouse Effect

quantamagazine.org
4 ポイント·投稿者 baanist·2 年前·0 コメント

[untitled]

1 ポイント·投稿者 baanist·2 年前·0 コメント

Benevolent Artificial Anti-Natalism (BAAN) (2017)

edge.org
3 ポイント·投稿者 baanist·2 年前·1 コメント

コメント

baanist
·2 年前·議論
I doubt you are going to change anyone's mind on this who is already convinced that computers can think and reason and all that's required is the right sequence of numbers. Moreover, the internet is awash with bots and AIs working on behalf of governments to spread political and economic propaganda. HN has moderation to avoid it but the moderators are human so they can't foil all attempts and notice all AIs and bots.
baanist
·2 年前·議論
Most of what you've said is true but what exactly does it mean to "break barriers"? We can not escape the laws of chemistry, physics, and thermodynamics because we live on a compact manifold with finite resources which must be recycled eventually by the surrounding ecology. This is why plastics are now found in all newborns, the chemicals produced by our factories are recycled back into the ecology and our internal biomes.
baanist
·2 年前·議論
Like most things in software the use cases are the limits of one's imagination. The browser has always been a Turing complete development environment so this is just another demonstration.
baanist
·2 年前·議論
Type Theory and Formal Proof (https://www.cambridge.org/core/books/type-theory-and-formal-...)
baanist
·2 年前·議論
I think it has already started¹.

1: https://neurosciencenews.com/microplastics-brain-health-2779...
baanist
·2 年前·議論
It's easier to take drugs even if it costs a lot of money.
baanist
·2 年前·議論
Neural networks are Turing complete, i.e. there is a universal neural network that can compute any effectively computable function¹. Incidentally, when this is combined with Rice's theorem² it means that safety research is essentially an unsolvable problem because any non-trivial property of a sufficiently complex neural network, e.g. one that can simulate a Turing machine, will have properties which can not be predicted with finite computation.

1: https://www.sciencedirect.com/science/article/pii/0893965991...

2: https://en.wikipedia.org/wiki/Rice%27s_theorem?useskin=vecto...
baanist
·2 年前·議論
I thought the whole point of neural networks was that they were good at searching through these spaces. I'm pretty sure OpenAI is pruning their models behind the scenes to reduce their costs because that's the only way they can keep reducing the cost per token. So their secret sauce at this point is whatever pruning AI they're using to whittle the large computation graphs into more cost efficient consumer products.
baanist
·2 年前·議論
Why aren't AI researchers automating the search for efficient architectures?
baanist
·2 年前·議論
No need to get angry and sarcastic.
baanist
·2 年前·議論
Are all fruit fry brains the same? Does anyone know what has actually been mapped and why it would generalize from one fruit fly to the next?
baanist
·2 年前·議論
He was right that scaling would not achieve abstract reasoning and he's been right so far on basically every new hyped development. The closed research labs like OpenAI are hoping to reduce all the gaps in their models by constantly patching out of distribution data sets but this clearly can not achieve any sort of general intelligence unless they somehow manage to obsolete themselves and the entire company by automating the out of distribution patching itself which they now perform by burning lots of cash and energy.

There are people who need to write a lot of emails so for those people I'm sure OpenAI will continue to deliver some kind of value but everyone else will still have to continue thinking for themselves regardless of what Sam Altman keeps promising.
baanist
·2 年前·議論
These algorithms are not capable of symbolic reasoning and abstract interpretation. The most obvious demonstration of this is that no algorithm on the market currently can solve sudoku puzzles even though they have spent billions of dollars "training" them on logic and reasoning.
baanist
·2 年前·議論
I don't have any subscriptions to the latest models but what improvements have you noticed in scaling and language understanding? Last I checked people were still discussing "9.9 > 9.1" and "How many 'r's are in 'strawberry'".
baanist
·2 年前·議論
What is he wrong about?
baanist
·2 年前·議論
I think he does a pretty good job of it. I know who he is and I read what he has to say on all the latest hype trends in AI.