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

14 pointsby ent1016 hours ago2 comments

ThrowawayR25 hours ago
Archive link: https://archive.ph/bid95
qarl4 hours ago
[flagged]
- smadge3 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?
  - qarl3 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.
    TFNA2 hours ago
    "Pure math" is a distinct term and it refers precisely to the myriad branches of mathematics that don't have a straightforward practical application like building bridges. Many branches of mathematics get pretty far out there from real-world concerns and serve largely to satisfy the human desire for merely expanded understanding.
- jostylr4 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