-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
[–] 1 point 1 year ago

Incidentally, I didn't downmod you. I don't think that's fair. Those who did are probably just AI haters having a gut reaction.

Here, I'll upmod you in fact 🙂 Just because I disagree with the whole concept doesn't mean you're responsible for it 🙂

  • permalink
  • fedilink
  • source
  • parent