<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:Arial,Helvetica,sans-serif;background-color:transparent">On Sun, Oct 11, 2026 at 11:31 AM roger gregory <<a href="mailto:rogerxan@gmail.com">rogerxan@gmail.com</a>> wrote:</span></div></div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><font size="4"><i><span class="gmail_default" style="font-family:arial,helvetica,sans-serif">> </span>They complain that many of the proofs are wrong. </i></font></div></div></blockquote><div><br></div><div><br></div><font size="4" face="tahoma, sans-serif"><b>I've heard very few complaints that they were wrong, they were complaining that the AI used "Alien <span class="gmail_default" style="font-family:arial,helvetica,sans-serif">M</span>athematics" that they didn't understand, but <span class="gmail_default" style=""></span>162 of the <span class="gmail_default" style="">377 </span>manuscripts include complete, machine-checkable Lean formalizations, so they know there are no errors in them<span class="gmail_default" style="">.</span> <span class="gmail_default" style="">A</span>nd that number is increasing every day.</b></font></div><div class="gmail_quote gmail_quote_container"><font size="4" face="tahoma, sans-serif"><b><br></b></font></div><div class="gmail_quote gmail_quote_container"><font size="4" face="tahoma, sans-serif"><b><span class="gmail_default" style="">John K Clark</span><br><span class="gmail_default" style=""></span></b></font><div><font size="4" face="tahoma, sans-serif"><br></font></div><div><br></div><div><br></div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><a href="https://www.quantamagazine.org/updates/transformation/#:~:text=Deluge%20of%20377%20OpenAI%20proofs,across%20nearly%20every%20mathematical%20subdiscipline." style="background-color:transparent" target="_blank"><font size="4" face="tahoma, sans-serif"><b>Deluge of 377 OpenAI proofs bewilders the math world</b></font></a></div><div><br></div><div><div><font size="4" face="tahoma, sans-serif"><b>John K Clark</b></font></div><br></div></div>

<p></p>

--</blockquote></div>
</blockquote></div></div>