Linking pages
Linked pages
- AI Will Become Mathematicians’ ‘Co-Pilot’ | Scientific American https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ 371 comments
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory https://www.nature.com/articles/d41586-021-01627-2 213 comments
- Quanta Magazine https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/ 160 comments
- International Mathematical Olympiad https://www.imo-official.org 117 comments
- A.I. Is Coming for Mathematics, Too - The New York Times https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html 111 comments
- Terence Tao, "Machine Assisted Proof" - YouTube https://www.youtube.com/watch?v=AayZuuDDKP0 87 comments
- LeanDojo: Theorem Proving with Retrieval-Augmented Language Models https://leandojo.org/ 56 comments
- Linux Foundation - Decentralized innovation, built with trust https://www.linuxfoundation.org/ 39 comments
- https://adam.math.hhu.de/#/g/hhu-adam/NNG4 34 comments
- A slightly longer Lean 4 proof tour | What's new https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/ 27 comments
- https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Sphere.20eversion.20project/near/310222035 9 comments
- GitHub - lecopivo/SciLean: Scientific computing in Lean 4 https://github.com/lecopivo/SciLean 2 comments
- [2001.10490] Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages https://arxiv.org/abs/2001.10490 2 comments
- How we built Cedar with automated reasoning and differential testing - Amazon Science https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing 1 comment
- Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender - YouTube https://www.youtube.com/watch?v=KuxFWwwlEtc 1 comment
- 2020's Biggest Breakthroughs in Math and Computer Science - YouTube https://www.youtube.com/watch?v=HL7DEkXV_60 0 comments
- [1908.05647] Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming https://arxiv.org/abs/1908.05647 0 comments
- Theorem Proving in Lean 4 - Theorem Proving in Lean 4 https://leanprover.github.io/theorem_proving_in_lean4/ 0 comments
- Lean Into Verified Software Development | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/ 0 comments
- Harmonic - AI for Formal Mathematical Reasoning https://harmonic.fun/index.html 0 comments
Related searches:
Search whole site: site:amazon.science
Search title: How the Lean language brings math to coding and coding to math - Amazon Science
See how to search.