AbstractPlay | Dark Hacker News

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