AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance

Leave a Reply

Your email address will not be published. Required fields are marked *