Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mathinaly
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
mathinaly
2y ago
When is AI going to cure cancer? Shouldn't this level of investment lead to some tangible outcomes?
2.
▲
by
mathinaly
2y ago
You can use AI and determine whether you agree with it or not instead of asking people to do work for you for free: https://g.co/gemini/share/cdfa79de5ceb
3.
▲
by
mathinaly
2y ago
It's an addictive behavioral loop. Lots of social media platforms are the same. There is very little value users actually get out of it because the algorithms are designed to manipulate them to click on ads since that's how the pl
4.
▲
by
mathinaly
2y ago
That's yet to be determined. Most commenters on HN falsely assume their preferences are the default ones for everyone.
5.
▲
by
mathinaly
2y ago
Maybe not for you but plenty of other people do spend a lot of time on Meta's digital properties. The human/AI avatars will be another engagement maximizing feature for a lot of accounts and I'm certain it will increase reven
6.
▲
by
mathinaly
2y ago
Creators, celebrities, and engagement farmers will use it to increase engagement and generate more revenue for themselves and Meta. You are forgetting Meta is a for-profit company and their goal is to increase quarterly profits by increasin
7.
▲
by
mathinaly
2y ago
It's about money and profits, this will increase Meta's revenue.
8.
▲
by
mathinaly
2y ago
There is a subreddit with 80k subscribers which is all about AI girlfriends/boyfriends: https://www.reddit.com/r/replika/ . It's already essentially a subculture and replika hasn't gone out of busine
9.
▲
by
mathinaly
2y ago
This is for people who want to farm for engagement and then convert that engagement into monetary profits. This is where all social media and many online platforms are headed. Any platform where the goal is engagement will eventually end up
10.
▲
by
mathinaly
2y ago
I wasn't providing an argument to convince anyone of anything. Study the mathematics and if you have a way of making progress in constructing better physical theories based on Wolfram's foundations then more power to you. In gener
11.
▲
by
mathinaly
2y ago
Because meta-mathematical proofs often use transcendental induction and associated "non-constructive" and "non-finitistic" arguments. The diagonilization argument itself is an instance of something that can not actually
12.
▲
by
mathinaly
2y ago
No computer has ever discovered the concept of a Turing machine and the associated halting problem (incompleteness theorem). If you think a search in an axiomatic system can discover an incompleteness result it is because your ontology abou
13.
▲
by
mathinaly
2y ago
That's a good example and demonstration. The unitary invariance basically requires that the norm of the vector is preserved so that if we start with a unit vector then unitary evolution of that vector will always keep it that way. This
14.
▲
by
mathinaly
2y ago
It's possible that the hypothesis is independent of the existing axiomatic systems for mathematics and a computer can't discover that on its own. It will loop forever looking for a proof that will never show up in the search. Comp
15.
▲
by
mathinaly
2y ago
The paradigm he's using is too open ended. In quantum mechanics the mathematics is based on Hilbert spaces and unitary evolutions of state vectors. You might ask why this is the case and it is because of conservation principles. Unitar
16.
▲
An intuitive proof of the data processing inequality (2012)
(arxiv.org)
1 points
by
mathinaly
2y ago
|
0 comments
17.
▲
by
mathinaly
2y ago
How do they know their formalization of the informal problems into formal ones was correct?