For what it's worth, most mathematicians are paid to teach, and the amount of research funding going into mathematics is relatively small. Plus, there are rare but important broader advancements due to pure and applied…
In his recent interviews, he says he has very little time to do math these days outside of research meetings with his PhD students and postdocs.
Is the use of "generalization" like this standard in mech interpretability? Seems undesirable given the typical definition in ML.
It just looked to me like the GP hadn't read the article and assumed it was a post by Tao. You are right about Tao of course, no objections there.
This post isn't by Tao.
The quant firms are heavy AI investors I believe.
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.…
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…
And getting paid…
I heard Hodge conjecture? Third-hand rumor though...
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.…
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…
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…
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…
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
Are legumes not "real food"?
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,…
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…
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
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
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.
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 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
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…
It was already bad, but I think there is still room for it to get a lot worse unfortunately.
For what it's worth, most mathematicians are paid to teach, and the amount of research funding going into mathematics is relatively small. Plus, there are rare but important broader advancements due to pure and applied…
In his recent interviews, he says he has very little time to do math these days outside of research meetings with his PhD students and postdocs.
Is the use of "generalization" like this standard in mech interpretability? Seems undesirable given the typical definition in ML.
It just looked to me like the GP hadn't read the article and assumed it was a post by Tao. You are right about Tao of course, no objections there.
This post isn't by Tao.
The quant firms are heavy AI investors I believe.
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.…
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…
And getting paid…
I heard Hodge conjecture? Third-hand rumor though...
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.…
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…
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…
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…
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
Are legumes not "real food"?
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,…
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…
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
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
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.
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 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
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…
It was already bad, but I think there is still room for it to get a lot worse unfortunately.