eru

7 ms·

31.
by eru 4d ago
Now, I'm saying that if you found a bug that lets you prove nonsense stuff (from true premises), you can probably prove whatever you want very quickly.
32.
by eru 4d ago
Someone made a 'proof' of the Collatz conjecture that way in Lean. However if the prove relies on a bug like that, you'll be able to 'simplify' the proof a lot and you'll be able to proof contradictions.
33.
by eru 4d ago
You don't need to read the lean proof for that, only the statement.
34.
by eru 4d ago
I'm not sure it actually makes a difference. OpenAI doesn't care about the million dollars in any case. And the judgement that they did it is independent of whether the Clay people agree: you can make up your own mind and so can
35.
by eru 4d ago
Then instead of publishing a paper, just upload your AI result to github. Same advancement of the state of the art. Papers are overrated here.
36.
by eru 4d ago
Even aggregate employment of translators has held up well in the US. Even though machines do a much better job of what used to be the most basic job of a translator.
37.
by eru 5d ago
Applications don't care whether the math was proven and understood by humans or computers. Your algorithm will get faster no matter where the insight came from.
38.
by eru 5d ago
Why do you need AI to ask the questions? You give your AI the problem, like 'make this computer program faster and more reliable', and it'll go off and do the math necessary to make it so.
39.
by eru 5d ago
You can have a look at eg improvements in solving linear programming problems or in mixed integer linear programming or SAT solvers.
40.
by eru 5d ago
> Right now, we don't know if AI will be able to solve bigger problems, or if they'll be so efficients that you no longer need a whole datacenter for running them. For the latter: I assume that having a whole data centre will a
41.
by eru 5d ago
Math also has applications, and they don't rely on human mathematicians doing the math.
42.
by eru 5d ago
> Though I think even that's probably too socially utilitarian. I think ultimately the 'real' drive is the same in both fields - it's fun and personally rewarding. That's fine, and no amount of machine excellence
43.
by eru 5d ago
Huh? I've been able to buy reasonably priced glasses for all my life. (However, I've never lived in the US nor China.)
44.
by eru 5d ago
There's lots of competition in AI. Where do you see the 'insurmountable advantage in everything'?
45.
by eru 5d ago
The trailing edge of AI is catching up fast. There's plenty of open source (and even more open weight) AI models and they are getting better and better. If that's your only objection: in a few years you can prove Rieman's hy
46.
by eru 5d ago
> Does mathematics still have a practical impact without humans in the loop? There's a single answer to that question: yes, math very much has an impact without humans in the loop. Math has a lot of applications, and those applicati
47.
by eru 5d ago
You say it like it's a bad thing.
48.
by eru 5d ago
Well, what you are saying that the situation is even better for math than for chess? Chess is only valuable as an entertainment. So no one really gains anything from computers becoming really good at chess. But with math, everyone in the w
49.
by eru 5d ago
Who cares about the giant labs? The trailing edge will catch up quickly, and in a year or three you can prove Rieman's hypothesis on your smartphone.
50.
by eru 5d ago
> the models capable of this work are not always going to be exclusively under the control of those aligned parties. Yes, the trailing edge will catch up quickly. I wonder how long until P vs NP falls.
51.
by eru 5d ago
You paid for exactly what the license agreement says. And that includes that Sony can pull the plug. If you still pay, that's on you.
52.
by eru 5d ago
If you don't like the burger at McDonald's, you go across the street to Burger King. Lots of power for the customer, even though the offer is take it or leave it.
53.
by eru 5d ago
For the US, you really need to be careful to get something that doesn't fall out of the plug. For the British standard, pretty much any plug you can buy will be fine.
54.
by eru 5d ago
US plugs (and similar ones like Japanese and to a lesser extent the Australian ones) are really bad. European ones mostly stay in the socket. But I guess they ain't quite as cleverly designed as the British ones.
55.
by eru 5d ago
You give workers more power by making sure there's plenty of competition between employers, and plenty of other outside options for workers. See eg how here in Singapore we have no minimum wage and basically no unions worth that name,
56.
by eru 5d ago
British food before roughly WW2 wasn't so bad actually. The French have some decent bread, if you can live without the taste of rye for a while.
57.
by eru 5d ago
In Germany your employment contract can have Vertragsstrafen, ie the contract can say that if you do something you need to pay a penalty even above and beyond damages. But in any case, employment contracts are weirdly restricted in many pla
58.
by eru 6d ago
Are you being sarcastic?
59.
by eru 6d ago
The plug ain't too bad actually. (And I grew up with European style plugs.) Still a vastly better mechanical design than what they make you use in the US: they barely hold in the socket.
60.
by eru 6d ago
Alas, Chorleywood tastes awful. At least to German taste buds.

More ›