Hacker News with Generative AI: Proof Assistance
« Back to main
Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical
(youtube.com)
Mathematics
,
Proof Assistance
,
Programming
,
AI
,
GitHub
6 points by admingirl 47 days ago |
0 comments
Terence Tao – Machine-Assisted Proofs [video]
(youtube.com)
Mathematics
,
Computer Science
,
Proof Assistance
,
Video Lectures
111 points by ipnon 126 days ago |
31 comments