AbstractPlay

Karma: 8
Created: 1 year ago

Recent Submissions

1. ▲ Geordie Williamson: Neural Networks for Mathematical Discovery (youtube.com) 1 point · 1 month ago · 0 comments
2. ▲ Is This the End of Handwritten Math? Introducing Lean [video] (youtube.com) 3 points · 1 month ago · 0 comments
3. ▲ Why Are LLMs Not Better at Finding Proofs? [video] (youtube.com) 6 points · 6 months ago · 1 comment
4. ▲ How we might have viewed the continuum hypothesis as a fundamental axiom (youtube.com) 1 point · 7 months ago · 0 comments

All submissions on HN · View profile on HN