[ExI] [Extropolis] The week that changed math forever

[John Clark]

On Sun, Oct 11, 2026 at 11:31 AM roger gregory <rogerxan at gmail.com> wrote:

*> They complain that many of the proofs are wrong. *
>


*I've heard very few complaints that they were wrong, they were complaining
that the AI used "Alien Mathematics" that they didn't understand, but 162
of the 377 manuscripts include complete, machine-checkable Lean
formalizations, so they know there are no errors in them. And that number
is increasing every day.*


*John K Clark*






> *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*
>>
>> --
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20261011/61a8af37/attachment.htm>