logoalt Hacker News

david-gputoday at 9:31 PM2 repliesview on HN

I am very specifically addressing what I have read Terrence Tao say on AI and mathematics, as that is the subject of this submission.

Are we on the same page?


Replies

robotpepitoday at 10:10 PM

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 the strong opinions of some. Here, Tao's letter discusses mainly practical aspect of scientific research. It is not about what a "failed mathematician" would do, or if "LLM can only record what already existed"; in fact, it ackowledges that LLM could become a central tool. If you want me to be even more precise, what they're saying (without saying it out loud) is that tech companies have too much power and are being irrespondible with it because they don't even think about the externalities.

show 2 replies
beepbooptheorytoday at 9:56 PM

It's not about whether the conjectures themselves are interesting or not, or whether people simply have enough time. It's that a bare proof made by a machine doesn't actually do much for us. There is not some set of problems that, once finished, will amount to some kind of final, correct system and we can call it a day and, like, utilize it. "Mathematics" is the people doing it (the "mathematical community" Tao references below). This other stuff is kinda just.. expensive exercises to render a result. They are only actually beneficial to us insofar as they exist in a context of research among peers.

https://terrytao.wordpress.com/2026/09/11/a-severe-misalignm...

show 1 reply