> This kind of argument is always dangerous, because it essentially resorts to moving goalposts. "Oh, AI can now do X? Sure it is amazing, but it can't do Y yet, so we're totally safe!" It's not about moving goalposts.…
Well the author of this one obtained a grant based on the work, the proof uses the same strategy as Anthropic's and even share some notation. I'm not an expert but this doesn't seem like one of those P!=NP proofs.
> Disproof of the Jacobian conjecture by example It should be noted that there was a manuscript, available online since the beginning of 2025, with a solution to the Jacobian conjecture: "Adrian Vasiu claims that the 7…
I don't think the essay was proposing that mathematicians should continue to focus on proving everything by themselves forever. It's mostly a critic of how the discussion is focusing too much on that mere "yes/no"…
> This subjective attitude turns mathematics into nothing more than number-poetry. I don't think you understood the point. The point applies to all of basic science. You of course want some explanation supporting the…
For the moment, AI is not capable of advancing mathematics _in the sense_ you're describing. AI is very bad at designing stuff, asking questions, etc. Maybe in the future you'll be able to ask the AI "cure cancer" and…
> I’d say Terrance has recently left the denial phase, the anger phase What are these comments? Tao, in particular, has been pro AI since years ago...
> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and these tools are not available for me. So not happy about…
I don't understand what you're proposing then. We can ask AI to solve practical problems of interest (making a computer faster for instance), but I'd say no one really believes that this is an unlimited resource. At…
> I thought the historical examples of photography and chess engines would be enough for people to connect the dots, but apparently not. You're just an overconfident idiot who thinks that because there is an analogy…
agree. so many people missing the point. I don't think they even bothered to read the letter.
> I am saying that for a fixed target, like proving the Rieman hypothesis from scratch, the required hardware will shrink. Yes, but to what point the hardware will shrink? There are several orders of magnitude of…
so you're 100% sure that AI will solve every intellectual problem in the future, since as long as that's not the case, it's us who need to ask the questions. I don't know man, I wouldn't bet on that. What if we end up…
to be honest it is difficult to discuss with someone who doesn't even try to understand the basics of basic science (and how it compares with _applied_ sicence), yet talks with so much confidence. even the solution to…
> But I also think that he is a bit shell shocked, much like other luminaries in the past have been when confronted with rapid technological development You're locked into that idea, but provide no real argument. The…
The problem with your opinions is that you tend to state certain very quesitonable ideas with 100% confidence. Right now, we don't know if AI will be able to solve bigger problems, or if they'll be so efficients that…
We can't be sure AI will be able to ask the questions of the future. At least right now, AI is not capable of that.
I still don't see the analogy, can you care to develop?
> Keep in mind employees at AI companies are publicly stating that they believe they're risking a >10% chance of human extinction. Are we really going to take what they say in public seriously?
> Let's assume in the next decade GPT-7 PRO Ultra is cheaply ubiquitous, inspectable, reproducible, transferable, reasonably un-constrained by any institutional interests. I'd argue that this extremely extreme scenario…
I don't see any meaningful analogy with your cites of Baudelaire. First of all, Baudelaire discusses art, which is very different to science. Several new forms of art have emerged, and then slowly integrated, despite…
It makes no sense to compare mathematics with chess. Chess is a sport. No one is interested in watching two machines compete. Chess doesn't have a practical impact. Etc. What you seem to suggest is that AI will be able…
> But complaining about the dawn of a new era of advancements seems counterproductive. you completely misunderstood the critics. your analogy is awful. this is much closer to the industrial revolution in the uk: it…
I really hate this overly condescending takes. First of all, what do you know about the internals of math research that allows you to speak with so much confidence. Second, you're not even addressing the issues raised…
> It's not obvious to me that's an unethical thing to do, if it happened as they described. What!? Even if everything OpenAI said is accurate (big hypothesis there!), it's highly unethical to rush a solution because…
> This kind of argument is always dangerous, because it essentially resorts to moving goalposts. "Oh, AI can now do X? Sure it is amazing, but it can't do Y yet, so we're totally safe!" It's not about moving goalposts.…
Well the author of this one obtained a grant based on the work, the proof uses the same strategy as Anthropic's and even share some notation. I'm not an expert but this doesn't seem like one of those P!=NP proofs.
> Disproof of the Jacobian conjecture by example It should be noted that there was a manuscript, available online since the beginning of 2025, with a solution to the Jacobian conjecture: "Adrian Vasiu claims that the 7…
I don't think the essay was proposing that mathematicians should continue to focus on proving everything by themselves forever. It's mostly a critic of how the discussion is focusing too much on that mere "yes/no"…
> This subjective attitude turns mathematics into nothing more than number-poetry. I don't think you understood the point. The point applies to all of basic science. You of course want some explanation supporting the…
For the moment, AI is not capable of advancing mathematics _in the sense_ you're describing. AI is very bad at designing stuff, asking questions, etc. Maybe in the future you'll be able to ask the AI "cure cancer" and…
> I’d say Terrance has recently left the denial phase, the anger phase What are these comments? Tao, in particular, has been pro AI since years ago...
> Wondering how this will discourage mathematicians at all, since now they have another tool to accelerate their research. I'm a professional mathematician and these tools are not available for me. So not happy about…
I don't understand what you're proposing then. We can ask AI to solve practical problems of interest (making a computer faster for instance), but I'd say no one really believes that this is an unlimited resource. At…
> I thought the historical examples of photography and chess engines would be enough for people to connect the dots, but apparently not. You're just an overconfident idiot who thinks that because there is an analogy…
agree. so many people missing the point. I don't think they even bothered to read the letter.
> I am saying that for a fixed target, like proving the Rieman hypothesis from scratch, the required hardware will shrink. Yes, but to what point the hardware will shrink? There are several orders of magnitude of…
so you're 100% sure that AI will solve every intellectual problem in the future, since as long as that's not the case, it's us who need to ask the questions. I don't know man, I wouldn't bet on that. What if we end up…
to be honest it is difficult to discuss with someone who doesn't even try to understand the basics of basic science (and how it compares with _applied_ sicence), yet talks with so much confidence. even the solution to…
> But I also think that he is a bit shell shocked, much like other luminaries in the past have been when confronted with rapid technological development You're locked into that idea, but provide no real argument. The…
The problem with your opinions is that you tend to state certain very quesitonable ideas with 100% confidence. Right now, we don't know if AI will be able to solve bigger problems, or if they'll be so efficients that…
We can't be sure AI will be able to ask the questions of the future. At least right now, AI is not capable of that.
I still don't see the analogy, can you care to develop?
> Keep in mind employees at AI companies are publicly stating that they believe they're risking a >10% chance of human extinction. Are we really going to take what they say in public seriously?
> Let's assume in the next decade GPT-7 PRO Ultra is cheaply ubiquitous, inspectable, reproducible, transferable, reasonably un-constrained by any institutional interests. I'd argue that this extremely extreme scenario…
I don't see any meaningful analogy with your cites of Baudelaire. First of all, Baudelaire discusses art, which is very different to science. Several new forms of art have emerged, and then slowly integrated, despite…
It makes no sense to compare mathematics with chess. Chess is a sport. No one is interested in watching two machines compete. Chess doesn't have a practical impact. Etc. What you seem to suggest is that AI will be able…
> But complaining about the dawn of a new era of advancements seems counterproductive. you completely misunderstood the critics. your analogy is awful. this is much closer to the industrial revolution in the uk: it…
I really hate this overly condescending takes. First of all, what do you know about the internals of math research that allows you to speak with so much confidence. Second, you're not even addressing the issues raised…
> It's not obvious to me that's an unethical thing to do, if it happened as they described. What!? Even if everything OpenAI said is accurate (big hypothesis there!), it's highly unethical to rush a solution because…