freehorse

5 ms·

1.
by freehorse 4d ago
Formal verification, cryptography and the like is far from what the vast majority of theoretical mathematicians are doing (if those who do them even see themselves as that vs computer scientists or applied mathematicians) especially when it
2.
by freehorse 4d ago
It is really not complicated at all. And if tao's post is a bit vague, the letter signed by many mathematicians is imo very clear. AI can be used to advance/deepen understanding, or it can be used to superficially go settle a whol
3.
by freehorse 4d ago
Applications do not care about 99.999% of theoretical math production anyway. And especially most of the big results in theoretical math nowadays are really inconsequential in applications.
4.
by freehorse 4d ago
> his prose is directly implying that evil superintelligent AIs are deliberately writing obscure proofs in order to harm the community of human mathematicians That is probably the wildest misinterpretation of sth I have ever read here. M
5.
by freehorse 7d ago
But whether astra itself is agi or not does not change anything in this argument or discussion of whether openai is good steward or not. The issue with agents running amok was not as much the direct consequences of them to huggingface etc (
6.
by freehorse 8d ago
> A linear fit on a logarithmic y-axis implies exponential growth. The fit on the graph is exponential, which makes it exp(exp(x)) growth. But it is not clear why it should be that, or linear, or logarithmic, which is what I meant. Covid
7.
by freehorse 9d ago
> That's not my site. You brought the figure as an argument, so I assumed that was your argument? If not, what was your argument then? I see a (super)exponential fit, but I don't see why that's better than a logarithmic fi
8.
by freehorse 9d ago
> https://ai2027tracker.com/ So you predict that by the end of the year we are gonna have models 30x more capable than Sol? Nice prediction, let's hold on to this for 4 months.
9.
by freehorse 10d ago
Because what works for you does not work for everybody, and different people may have different propensities, impulses etc. You put some spatial restrictions (no tv screen visibly standing permanently in the house). Some people put time res
10.
by freehorse 10d ago
The question is less about whether astra is AGI, and more about whether this direction approaches AGI and we should worry about existential risks wrt to that. If we do, openai's situation is very concerning even if astra is not AGI bec
11.
by freehorse 11d ago
It does not align, though, with the narrative that openai is a good steward of AI. If anything, if the world/government took the AGI narrative seriously, all openai operations (except maybe serving customer inference) should immediatel
12.
by freehorse 12d ago
The text quoted though says that openai does not agree with characterising this as hacking.
13.
by freehorse 12d ago
Editing a wiki page can definitely be "hijacking" if used for different purposes than supposed or against TOS. Hacking is mentioned only once in the article as "hacking attempt" being the opinion of a named researcher ba
14.
by freehorse 12d ago
And governments will continue to force citizens to use these shitty companies for whenever they need id verification.
15.
by freehorse 12d ago
It has been used in kagi's "quick assistant", so basically summarisation tasks (gets context from a bunch of webpages and finds the answer to a question in them, spits all the relevant to the query information, or similar). I
16.
by freehorse 13d ago
I have used their gemma 4 31b model through kagi and getting real instantaneous answers is absolutely crazy. A very different feeling and UX. Even if the model is smaller, there is definitely a use case for these. I was wondering if they wo
17.
by freehorse 13d ago
Nobody is arguing that translator apps existing is a bad thing, that was not what was told. Obviously being able to communicate with each other is a good thing. Not sure about nepal, but in some cultures/places (can just be different p
18.
by freehorse 14d ago
Because getting "common language and culture" is not neutral when we reside in a world that basically this works with american culture being the global culture. Honestly imo this is a kind of perspective that only an american coul
19.
by freehorse 16d ago
Not OP but I think it is moxo.ai
20.
by freehorse 16d ago
How many did you convince? Did you convince 2s, 10s, 100s or 1000s?
21.
by freehorse 16d ago
It doesn't, this does not mean society should not care about people who are most vulnerable during heatwaves. ACs are obviously no solution to desertification, if anything at mass scale they may even increase temps in dense urban envir
22.
by freehorse 17d ago
Persuade others to vote for them?
23.
by freehorse 17d ago
This is not a good argument. AC is needed every summer for some years now for much of northern europe, the only question is how many days per year. The last heatwave was not in 2003. You do not need AC in every house necessarily. You need A
24.
by freehorse 17d ago
In the US there was a slight drop around that time, but not close to 25% in the eu. If it was due to businesses buying less physical media wouldn't it be sth seen in the US data in some year too? https://www.bts.gov/us-
25.
by freehorse 17d ago
I don't know, I am not an expert, but it seems more concentrated in france/uk/central europe and adjacent. Also in southern europe summer is generally a dry season, and rainfall happens mostly in autumn/spring. One does
26.
by freehorse 17d ago
Just in case somebody else wanted a map to see exactly which areas in europe actually experience drought this summer https://drought.emergency.copernicus.eu/tumbo/edo/map/?prodC...
27.
by freehorse 18d ago
The manifesto serves a different function imo, and having been written in 2002 makes it also a historical document through which one can view their current situation and later evolution. It is interesting to think of a group starting from t
28.
by freehorse 19d ago
Norway is not a Baltic country. And I rarely encounter PayPal as the only option when ordering from eu anymore in general.
29.
by freehorse 19d ago
I choose to go through the hoops of doing a bank transfer than through PayPal, if these two are the only options. It’s practices over the years are just terrible.
30.
by freehorse 20d ago
For whatsapp they do, and they had done so in recent spyware attacks based on 0-days > If we believe that your device has come under threat, we may notify you about it directly via a WhatsApp chat. The chat will include a system message

More ›