-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 (3 children)

LLM for code generation depends a LOT on which model you use, what you put in its context window, and what framework you are working with. We are absolutely still figuring out how to use the tools for serious software engineering and there is absolutely overhype.

Remember when the Internet was new and the Windows TCPIP stack was fragile AF?

It's like that

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] 1 point 1 year ago* (2 children)

    Remember when the Internet was new and the Windows TCPIP stack was fragile AF?

    Actually I'm old enough to remember the internet very much more reliable than that at that time, and before. The Windows TCP/IP stack being fragile and buggy was just a Microsoft problem. Those of us under Unix had no issues - at least nowhere near as many.

    But I digress...

    There's a fundamental difference between the birth of the internet and the birth of AI: the former didn't destroy society to become a mature technology.

    I have no doubt AI will one day deliver on its promises. But I question who will be left in any capacity to enjoy it when it does.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child 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