Quanta Magazine - discu.eu

Reddit

Proof Assistant Makes Jump to Big-League Math | Quanta Magazine https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ 88 comments 28/7/2021 math

Linking pages

Completion of the Liquid Tensor Experiment | Lean community blog https://leanprover-community.github.io/blog/posts/lte-final/ 22 comments
Lessons From The AI Revolution in Mathematics - Gradient Flow https://gradientflow.com/machine-assisted-proofs/ 1 comment

Related searches:

Search whole site: site:quantamagazine.org

Search title: Quanta Magazine

See how to search.

Submit link to: