bananaflag

6 ms·

61.
by bananaflag 29d ago
> they could do that with that email chain Now think about all the Gmail data Google has.
62.
by bananaflag 29d ago
It's not the OP's definition, it's the definition of the word as used in mathematical practice, as evidenced by the Wikipedia article cited.
63.
by bananaflag 29d ago
I am a mathematician and I never believed in this kind of mystique (maybe in other, more resilient mystiques). I have always expected machines will be able to do math. Since late 2018, I expected them to be able to do math long before physi
64.
by bananaflag 29d ago
That is research math. If you read an introductory book (like Algebra: Chapter 0 by Aluffi, yeah the choice is a bit naughty), it doesn't assume (too many) prerequisites. And after you've read enough of these (e.g. when you have a
65.
by bananaflag 1mo ago
> AI bros consistently handwave away any notions of the material world imposing limits, because (spoiler!) it's a religion where you start from the miracle and work backwards. How else are you going to work towards a dream? It'
66.
by bananaflag 1mo ago
On the other hand, AI means actual experiments done in the physical world but coordinated by an entity that never sleeps and never gets depressed and can multiply itself manifold and always comes up with new ideas.
67.
by bananaflag 1mo ago
> Real-world systems are too messy to be specified I agree with this counterargument. I mean, you can verify that Euclid's algorithm computes the GCD. Or that quicksort produces a sorted version of the input array. But how do you ve
68.
by bananaflag 1mo ago
Yeah, I think this early era where every AI one interacts with is a clone of 4-6 big systems will seem quite quaint.
69.
by bananaflag 1mo ago
An early glimpse at how continual learning will feel. Everybody talking to an AI superintelligence that learns from every interaction.
70.
by bananaflag 1mo ago
> There's nobody expecting to make significant progress with a week of work. You underestimate my ADHD. Source: I am mathematician.
71.
by bananaflag 1mo ago
(2020)
72.
by bananaflag 1mo ago
In 5 years we'll probably have locally run AI which could do something like this in a millisecond.
73.
by bananaflag 1mo ago
Probably this will be done more and more often for works which don't have translation in some language because of low interest. E.g. old manuscripts, light novels, fan fiction etc.
74.
by bananaflag 1mo ago
HPMOR is one of those fanfics which make you feel a strong connection to the author, he really poured his soul into it ("rare vitamins" as he put it [1]), the good and the bad, kinda the exception that proves the rule. Probably th
75.
by bananaflag 1mo ago
I would have loved that too but that is quite impossible in this paradigm. Probably the way people in the 20th century envisioned AGI rising out of GOFAI (also quite impossible in its own way) would have produced an "alien" entity
76.
by bananaflag 1mo ago
Thing is, I started appreciating this way of looking at art only after reading anti-LLM arguments, and I am a bit angry at myself for not feeling it during the pre-LLM decades of my life, which would have been much enriched. There is this o
77.
by bananaflag 1mo ago
This effect will disappear when, instead of having 4-6 big models that everyone uses, we'll have trillions of models with memory / continual learning, each independently developing its own voice / personality, drowning all hu
78.
by bananaflag 1mo ago
I thought it more in the sense of: if a clearer-thinking group has higher status, then clear thinking would be encouraged among the population. (This did not happen that much, ofc.)
79.
by bananaflag 1mo ago
Exactly one of them threatens their lifestyle.
80.
by bananaflag 1mo ago
Could you elaborate? I think back in the 90s when I was a teenager I thought it to be a good thing that there is a rise in status for a class of people characterized by clear thinking.
81.
by bananaflag 1mo ago
I have been using MonoBook for years (early 2023 I think), I see nothing like that.
82.
by bananaflag 1mo ago
What you are proposing is a barrier no AI and no human and no intelligence would pass. The idea of an AI that one-shots a task presumes that the one requesting the task already knows what the task is, and no additional expertise. Similarl
83.
by bananaflag 1mo ago
https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de0...
84.
by bananaflag 1mo ago
Every thing passes through the following stages: 1. AI cannot do something. 2. AI starts being able to do something, but one needs to prompt it carefully, so one needs to be an expert, see, we will always need human experts <--- this art
85.
by bananaflag 1mo ago
Now the deed is done, one cannot undo it.
86.
by bananaflag 2mo ago
This is a bit of a strawman argument. Hard SF is not just "about tech", it is about making sure the tech agrees with scientific principles and is not just an ad hoc method to make some story possible. Soft SF can be about tech and
87.
by bananaflag 2mo ago
By explaining, I just meant writing papers in a human-readable way. For example, the results yesterday were also written up by AI. Explaining in the sense of getting someone who doesn't get math to actually get math, giving illustrativ
88.
by bananaflag 2mo ago
I work in math and also believe in this stuff and have done so for years. You may call me sick if you wish so. My only cope among those was, using the author's words, "We will teach the mathematics AI discovers." This was bac
89.
by bananaflag 2mo ago
He had already disappointed me in 2011 with this post https://www.antipope.org/charlie/blog-static/2011/06/reality...
90.
by bananaflag 2mo ago
> Lots of people hated CGI. then it got better, then it got worse again What do you mean by "it got worse again"? Why did CGI tech get worse?

More ›