[HN Gopher] Exploring the beauty of pure mathematics in novel ways
       ___________________________________________________________________
        
       Exploring the beauty of pure mathematics in novel ways
        
       Author : mx12
       Score  : 60 points
       Date   : 2021-12-01 16:20 UTC (6 hours ago)
        
 (HTM) web link (deepmind.com)
 (TXT) w3m dump (deepmind.com)
        
       | bsedlm wrote:
       | I wonder how different is this from a super-scaled brute-force
       | approach?
       | 
       | this reinforces my suspicion (as I try to understand it) that the
       | AI's main contribution is auto-categorizing (some form of
       | compression which resembles understanding; I already suspect that
       | understanding is a form of compression) the exhaustive
       | enumerations as they compute the entire search space
        
       | raptortech wrote:
       | See also: https://coq.inria.fr/
       | 
       | I'm excited about learned search heuristics in theorem space.
        
       | kmill wrote:
       | Direct links to the papers:
       | 
       | https://www.nature.com/articles/s41586-021-04086-x "Advancing
       | mathematics by guiding human intuition with AI"
       | 
       | https://arxiv.org/abs/2111.15323 "The signature and cusp geometry
       | of hyperbolic knots"
       | 
       | https://arxiv.org/abs/2111.15161 "Towards combinatorial
       | invariance for Kazhdan-Lusztig polynomials"
        
       ___________________________________________________________________
       (page generated 2021-12-01 23:02 UTC)