AbstractPlay

Karma: 8
Created: 2 years ago

Recent Submissions

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

All submissions on HN · View profile on HN