[HN Gopher] A.I. Is Coming for Mathematics, Too
       ___________________________________________________________________
        
       A.I. Is Coming for Mathematics, Too
        
       Author : perihelions
       Score  : 23 points
       Date   : 2023-07-02 18:43 UTC (4 hours ago)
        
 (HTM) web link (www.nytimes.com)
 (TXT) w3m dump (www.nytimes.com)
        
       | matteoraso wrote:
       | I've been thinking about this since AlphaDev, but the same sort
       | of program that can build sorting algorithms can also prove math
       | theorems using an automated proof checker. The real question is
       | if it can be used to prove something significant, not just
       | trivial findings.
        
       | wg0 wrote:
       | Yeah. Right.
        
       ___________________________________________________________________
       (page generated 2023-07-02 23:02 UTC)