Categories
- Algebraic Geometry
- computability
- Fermat's Last Theorem
- formalising mathematics course
- General
- Imperial
- Learning Lean
- liquid tensor experiment
- M1F
- M1P1
- M40001
- M4P33
- Machine Learning
- mathlib
- number theory
- Olympiad stuff
- Research formalisation
- rigour
- tactics
- Technical assistance
- Type theory
- Uncategorized
- undergrad maths
Tag Archives: mathematics library
Accelerating mathematics
Let’s say that someone had a big pot of money, and wanted to use it to accelerate mathematical discovery. How might they go about doing this? The traditional approach Historically it has been governments who have been driving this agenda, … Continue reading
Posted in mathlib
Tagged AI, Artificial Intelligence, chatgpt, ITP, lean, llm, math, mathematics, mathematics library, technology
2 Comments