'I'm on a War Footing': Terry Tao and the Crisis in Math

'I'm on a War Footing': Terry Tao and the Crisis in Math(nytimes.com)

14 points by ent101 6 hours ago | 6 comments

qarl 5 hours ago |

[flagged]

smadge 4 hours ago | |

Pure math isn’t an economic activity so the benefit to society of automating it is dubious. Its goal is to expand the frontier of human understanding and communicate the understanding to other mathematicians. As the article states it’s more like an art than engineering (where the attitude of who cares if I understand it if it works is more justified). The AI generated proofs are barely comprehensible by mathematicians so the question is who are these proofs for? Who are they trying to convince or educate?

qarl 3 hours ago | | |

> Pure math isn’t an economic activity

Um. There are applications of mathematics that have a practical effect on the world. Right? You've crossed a bridge before, have you not?

And what is your solution then - only certain people will be allowed to work on math? If I use a computer to solve a math problem I will be a criminal? The whole thing is profoundly wrong-headed.

> Its goal is to expand the frontier of human understanding

Yes, and it does that quite nicely.

> The AI generated proofs are barely comprehensible by mathematicians

My understanding is that if you ask an AI to explain it to you it's quite easy to follow. But apparently that solution is intolerable for some.

jostylr 4 hours ago | |

That's been AI-videoized: https://youtu.be/MK-MoBx4YNI?si=vAhTCJbKIb9jXm4t More funny is their AI video about data centers: https://youtu.be/V74C3NsW_9o?si=HWeVDtRpS0VSz-dT