Hacker News new | ask | show | jobs
user: AbstractPlay
created: 2024-01-14
karma: 8

submissions:

0 points | 0 comments
Lojban
4 points | 0 comments
Geordie Williamson: Neural Networks for Mathematical Discovery
1 points | 0 comments
Is This the End of Handwritten Math? Introducing Lean [video]
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Why Are LLMs Not Better at Finding Proofs? [video]
6 points | 1 comments
How we might have viewed the continuum hypothesis as a fundamental axiom
1 points | 0 comments