[ExI] The week that changed math forever
BillK
pharos at gmail.com
Thu Oct 8 09:51:12 UTC 2026
On Wed, 7 Oct 2026 at 21:20, John Clark via extropy-chat <
extropy-chat at lists.extropy.org> wrote:
> *Deluge of 377 OpenAI proofs bewilders the math world*
> <https://www.quantamagazine.org/updates/transformation/#:~:text=Deluge%20of%20377%20OpenAI%20proofs,across%20nearly%20every%20mathematical%20subdiscipline.>
> *John K Clark*
> _______________________________________________
>
Quote from a maths professor -
"Personally, this is where I stop calling AI a tool. A tool doesn't do in
one release what the best humans do in a lifetime."
BillK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20261008/ec884185/attachment.htm>
More information about the extropy-chat
mailing list