[ExI] OpenAI releases 372 families of major math results obtained using AI

[John Clark]

*This guy is freaking out and I don't blame him: *

*OpenAI releases 372 families of major math results obtained using AI*
<https://www.youtube.com/watch?v=jQ3ejiLdMug>

*John K Clark*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20261007/fccaa95c/attachment.htm>