[HN Gopher] Solving some formal math olympiad problems
       ___________________________________________________________________
        
       Solving some formal math olympiad problems
        
       Author : neiman1
       Score  : 103 points
       Date   : 2022-02-02 18:22 UTC (4 hours ago)
        
 (HTM) web link (openai.com)
 (TXT) w3m dump (openai.com)
        
       ___________________________________________________________________
       (page generated 2022-02-02 23:00 UTC)