qbit42

5 ms·

1.
by qbit42 3d ago
You can also brute force the existence of a proof... It is true that the biggest splashes have been from counterexamples and such, but I have seen many smaller examples of proving positive results in my own field. Perhaps not superhuman yet
2.
by qbit42 3d ago
Maybe, but what remains of the human professional mathematics will be unrecognizable (at least for those without tenure I guess). All of our credit assignment systems are breaking and access to computational/financial resources is beco
3.
by qbit42 7d ago
And getting paid…
4.
by qbit42 8d ago
I heard Hodge conjecture? Third-hand rumor though...
5.
by qbit42 11d ago
It's not impossible, but I also know of no instances of an AI being told to prove something in Lean and exploiting such tricks. Surely Anthropic also had some agents looking for issues with the generated proofs. Personally, I am also c
6.
by qbit42 11d ago
I have never seen an AI or a human produce a false proof without explicitly using weird meta programming tricks that are very suspicious. No "good faith" Lean proofs have every been shown faulty, to the best of my knowledge. While
7.
by qbit42 11d ago
You just have to trust the statement and the lean compiler, not the proof. The compiler certainly still has remaining bugs, but I have never seen a bug leading to a false proof in good faith, only via obscure meta programming tricks. The ni
8.
by qbit42 15d ago
Watermarking just alters the pseudorandom number generator. If "I like turtles" was previously the response to your prompt with probability 100%, it will still be so. This is why watermarking is only effective for long strings of
9.
by qbit42 15d ago
I think the old reddit redirect extension gets around this somehow, that has worked for me lately (occasionally with some toggling of the extension). Although maybe it's best to just use less reddit tbh
10.
by qbit42 1mo ago
Are legumes not "real food"?
11.
by qbit42 1mo ago
I somewhat agree, and I have not stopped eating beef entirely. I think that forbidding is overkill but agree that lots of related subsidies should be eliminated (honestly, if meat were just priced w/o current subsidies, we'd be in
12.
by qbit42 1mo ago
I mean, it's a collective action problem. Individual consumption of normal people is a huge contributor to global energy demands / pollution / etc. You don't have to change your behavior but if no one does in the coming
13.
by qbit42 1mo ago
There is not a single foundation - you can choose. The differences are rarely important for working mathematicians though. Most know enough of ZFC to get by and ignore foundations tbh
14.
by qbit42 1mo ago
People talk on the phone all the time on every US metro I’ve tried. Seems fine if they’re not on speaker or raising their voice
15.
by qbit42 1mo ago
It is marketing, they are a shady company, and yet, if someone had access to these results before today's modern AI tools, they could get tenure at any university in the world.
16.
by qbit42 2mo ago
So this is a bit of a hot take for HN, but while my life is dramatically more convenient due to smartphones, “better” is actually not obvious to me. Some things are better, some are worse. Anyway, I don’t think anything I said was even fram
17.
by qbit42 2mo ago
I agree with some of your characterizations here, but I don’t think it is fair to say that if you are not currently a professional artist, you were never a true artist. People get unlucky, have families to support, etc
18.
by qbit42 2mo ago
Sure, this mirrors history, technology is always transforming economics. I guess my point is that there is a decent sized middle class of creative professionals right now, and I expect that the number of them will go down significantly due
19.
by qbit42 2mo ago
It was already bad, but I think there is still room for it to get a lot worse unfortunately.
20.
by qbit42 2mo ago
They are not always the same but there is more overlap than you would think. One place that I know is being hit hard is Nashville (no comment on what this implies about the state of US country music). There are a lot of local musicians with
21.
by qbit42 2mo ago
AI is destroying the economics which allowed for a sizable middle class of artists. The issue is that many are paid for their art mostly for its aesthetic rather than artistic value. This isn’t the most creatively fulfilling, but it previou
22.
by qbit42 3mo ago
I think shade is a big factor here. Trees can really cool down a neighborhood.
23.
by qbit42 4mo ago
I found replacements for the Chrome extensions I was using and switched to Zen, which builds off of Firefox and closely resembles Arc (RIP). It might not be the best security idea to rely on a relatively obscure browser like this, but I fin
24.
by qbit42 5mo ago
Round brackets are standard in the US but that notation is used in France and some other places.
25.
by qbit42 5mo ago
I think there is still an implicit restriction on the complexity of the operator for this to be interesting. Otherwise you could design an operator which accepts a pair x,y and performs one of 2^k elementary binary operations by reading off
26.
by qbit42 5mo ago
There are certainly no other causal factors... I'm not saying that it couldn't be true, but we have no way of concluding that from just comparing such rates. There are many differences in daily life and thresholds for reporting be
27.
by qbit42 6mo ago
The choice was to review using AI or not, they can just say no? And review like we’ve done for years without AI tools. Are you objecting to ICML’s reciprocal reviewing policy? The alternative as I see it would be to charge for submissions a
28.
by qbit42 6mo ago
What? Why is that a false choice? The only way you got caught here is if you literally gave an LLM the PDF and used its response verbatim. And they didn't give a permanent ban or anything, these authors can just resubmit to another con
29.
by qbit42 6mo ago
Banned for life is a stretch but the actual response is completely fine. They can just resubmit to the next conference. Words mean something, if you promise to uphold a contract and break it, there are consequences. The reviewers were free
30.
by qbit42 8mo ago
Loads of researchers have only used LaTeX via Overleaf and even more primarily edit LaTeX using Overleaf, for better or worse. It really simplifies collaborative editing and the version history is good enough (not git level, but most people

More ›