Live data from Hacker News

AI isn’t outthinking mathematicians, it’s out-remembering them

davidepiffer.com

1–10 of 545 posts

Re: AI isn’t outthinking mathematicians, it’s out-remembering them

#3
It is obvious that super intelligence comes from more working memory.

It is the scary thing actually. Cause once AI makes arguments that require a working memory of hundred items, then we as humans will have no way of understanding the arguments…

We can decompose and write things but only up to a point. when Ai can have a working memory that spans hundreds of books, we are necessarily going to have to trust the system.

Re: AI isn’t outthinking mathematicians, it’s out-remembering them

#5
Does it matter? It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers.

The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.

Re: AI isn’t outthinking mathematicians, it’s out-remembering them

#7
post #3

It is obvious that super intelligence comes from more working memory. It is the scary thing actually. Cause once AI makes arguments that require a working memory of hundred items, then we as humans will have no way of understanding the arguments… We can decompose and write things but only up to a point. when Ai can have a working memory that spans hundreds of books, we are necessarily going to have to trust the syste…

We offload working memory to paper if we want to understand something that does not fit into the regular meat bits.

Re: AI isn’t outthinking mathematicians, it’s out-remembering them

#8

Does it matter? It's going to produce proofs far more intricate than humans can understand, outdoing humans and opening new frontiers. The age of humans comprehending things is coming to an end: our brains just won't have the capacity to make meaningful contributions to science, math, or technology.

But apparently we can teach machines to do it for us

Re: AI isn’t outthinking mathematicians, it’s out-remembering them

#9
It's also "out-brute forcing them." It just never gets tired. If a mathematician picks a research direction and spends a whole week on it and it doesn't pan out, they will likely be annoyed, need a break for a while, etc. This thing just does not ever get tired or discouraged or care; it's just onto the next thing until something ends up working.
Post reply on HN