<div dir="ltr"><div class="gmail_default" style=""><p style="border:0px solid;box-sizing:border-box;margin:1.25em 0px;padding:0px;color:rgb(20,49,91)"><font size="4" style="" face="tahoma, sans-serif"><b style="">An AI from Google solved nine out of 353 open Erdős problems it attempted, including two questions that had gone unanswered for 56 years. The system also proved 44 out of 492 open conjectures from the Online Encyclopedia of Integer Sequences (OEIS), settled a 15-year-old question about Hilbert functions in algebraic geometry, and improved a known bound in convex optimization. Inference costs ran just a few hundred dollars per problem:</b></font></p><p style="border:0px solid;box-sizing:border-box;margin:1.25em 0px;padding:0px;color:rgb(20,49,91)"><a href="https://arxiv.org/pdf/2605.22763v1" style=""><font size="4" style="" face="tahoma, sans-serif"><b>Advancing Mathematics Research with AI-Driven Formal Proof Search</b></font></a><br></p><p style="border:0px solid;box-sizing:border-box;margin:1.25em 0px;padding:0px;color:rgb(20,49,91)">===</p><p style="border:0px solid;box-sizing:border-box;margin:1.25em 0px;padding:0px;color:rgb(20,49,91)"><b style="font-family:tahoma,sans-serif;font-size:large;color:rgb(34,34,34)">The following is a quote from: </b></p></div><div class="gmail_default" style=""><br></div><div class="gmail_default" style=""><a href="https://spectrum.ieee.org/ai-proof-verification"><font size="4" face="tahoma, sans-serif"><b>Fields Medal proof formalized for the first time</b></font></a><br></div><div class="gmail_default" style=""><br></div><div class="gmail_default" style=""><font size="4" face="tahoma, sans-serif"><b>"The proofs were verified by the mathematical community and deemed correct, leading to the Fields Medal recognition. But formal verification, the ability of a proof to be verified by a computer, is another beast altogether. Formal verification of a proof is like a rubber stamp. It’s a kind of bona fide certification that you know your statements of reasoning are correct."</b></font></div><div class="gmail_default" style=""><font size="4" face="tahoma, sans-serif"><b><br></b></font></div><div class="gmail_default" style=""><div style="color:rgb(80,0,80)"><b><font face="tahoma, sans-serif"><font size="4">John K Clark    See what's on my list at  </font><font size="6"><a href="https://groups.google.com/g/extropolis" rel="nofollow" target="_blank">Extropolis</a></font></font></b></div><font size="1" color="#ffffff">3xp</font><br class="gmail-Apple-interchange-newline"></div><div class="gmail_default" style=""><font size="4" face="tahoma, sans-serif"><b><br></b></font></div><div class="gmail_default" style=""><font size="4" face="tahoma, sans-serif"><b><br></b></font></div></div>