[HN Gopher] AI to Assist Mathematical Reasoning: A Workshop
       ___________________________________________________________________
        
       AI to Assist Mathematical Reasoning: A Workshop
        
       Author : ftxbro
       Score  : 66 points
       Date   : 2023-06-02 18:57 UTC (4 hours ago)
        
 (HTM) web link (terrytao.wordpress.com)
 (TXT) w3m dump (terrytao.wordpress.com)
        
       | agentultra wrote:
       | I would like to hear about the outcomes of this workshop. Talia
       | has some great ideas and research in this area.
        
         | ftxbro wrote:
         | stellaathena is on here maybe they will say
        
       | wwarner wrote:
       | I like this title. Mathematicians can already explore an idea
       | with computer programs, and it seems like ML (tho maybe not gpt)
       | could be used in this capacity. Sort of like fuzz testing in
       | software development. Theorem proving might or might not be a
       | fruitful path to pursue with ML.
        
       | jvm___ wrote:
       | If your unaware of who Terrance Tao is...
       | 
       | The strategy for the very highest levels of maths is; if you get
       | stuck, see if you can interest Terrance in your problem as he
       | probably has an idea of what to do next.
        
       ___________________________________________________________________
       (page generated 2023-06-02 23:02 UTC)