math

1044 readers

1 users here now

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

founded 2 years ago

MODERATORS

mrh@lemmy.world

-14

Opinion: maths is getting too big for humans; LLMs and ATPs to the rescue (www.youtube.com)

submitted 4 months ago* (last edited 4 months ago) by nymnympseudonym@piefed.social to c/math@lemmy.world

1 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.

top 1 comments

sorted by: hot top controversial new old

[–] nymnympseudonym@piefed.social 0 points 4 months ago

Wow... -10

I wonder how many of you actually watched the lecture