Exploring the beauty of pure mathematics in novel ways
1–7 of 7 posts
Re: Exploring the beauty of pure mathematics in novel ways
#2Direct 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"
Re: Exploring the beauty of pure mathematics in novel ways
#3I 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
Re: Exploring the beauty of pure mathematics in novel ways
#4See also: https://coq.inria.fr/
I'm excited about learned search heuristics in theorem space.
Re: Exploring the beauty of pure mathematics in novel ways
#5I 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
understanding is a function of memory which is a function of time which is a function of gravity which is a function of the curvature of space time.
Re: Exploring the beauty of pure mathematics in novel ways
#6I 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
understanding is a function of memory which is a function of time which is a function of gravity which is a function of the curvature of space time.
[deleted]
Re: Exploring the beauty of pure mathematics in novel ways
#7I 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
understanding is a function of memory which is a function of time which is a function of gravity which is a function of the curvature of space time.
[deleted]