💾 Archived View for dioskouroi.xyz › thread › 29405380 captured on 2021-12-04 at 18:04:22. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-03)

-=-=-=-=-=-=-

Exploring the beauty of pure mathematics in novel ways

Author: mx12

Score: 86

Comments: 4

Date: 2021-12-01 16:20:26

Web Link

________________________________________________________________________________

kmill wrote at 2021-12-01 20:23:16:

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"

raptortech wrote at 2021-12-01 21:57:55:

See also:

https://coq.inria.fr/

I'm excited about learned search heuristics in theorem space.

bsedlm wrote at 2021-12-01 21:00:01:

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

XnoiVeX wrote at 2021-12-01 23:04:39:

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.