-2
Opinion: maths is getting too big for humans; LLMs and ATPs to the rescue (www.youtube.com)
submitted 1 year ago by to c/YesAI@lemmy.world
11 comments fedilink hide all child comments
 

Nice accessible talk from the Simons Institute presenting one researcher's view on where math is and where it's going.

Summary: there is too much to keep up with and modern proofs are almost too big for individuals to grok. AI with automatic theorem provers is a promising immediate term path forward.

you are viewing a single comment's thread
view the rest of the comments
[–] [S] 2 points 1 year ago (1 child)

Using hyperbole like "destroy society" is unhelpful. Equally low-effort, low-precision to say "social media has destroyed society"

Arguably so, but does nothing to advance conversation nor understanding

For the record, I learned on system/360 So yeah... the Internet is new

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 2 points 1 year ago

    Using hyperbole like “destroy society” is unhelpful.

    Well, you watch. You ain't seen nothing yet. The hyperbole will soon prove to be totally understated. Not that this is helpful though, you're right about that.

    PDP-11 here 🙂

  • permalink
  • fedilink
  • source
  • parent