AbstractPlay

4 ms·

1. 1.▲
   by AbstractPlay 4mo ago

   Your "true observation" doesn't contribute to the context of this particular topic thread which "has nothing to do with [your] comment", as you are "well aware". You should review the HN Guidelines: https
2. 2.▲
   Lojban(en.wikipedia.org)

   4 points by AbstractPlay 5mo ago|0 comments
3. 3.▲
   Geordie Williamson: Neural Networks for Mathematical Discovery(youtube.com)

   1 points by AbstractPlay 11mo ago|0 comments
4. 4.▲
   Is This the End of Handwritten Math? Introducing Lean [video](youtube.com)

   3 points by AbstractPlay 11mo ago|0 comments
5. 5.▲
   by AbstractPlay 1y ago

   > I am very clear that this is a conversation with a Claude impersonation of Graham Priest, not Graham Priest himself. Only after you make the upfront claim, in bold letters, in words you chose: "A Conversation with Graham Priest Ab
6. 6.▲
   by AbstractPlay 1y ago

   On your website, you seem to claim in bold letters that you've talked to Graham Priest about your work: > A Conversation with Graham Priest About Abstraction Logic but admit afterward that you talked to Claude prompted to sound like
7. 7.▲
   Why Are LLMs Not Better at Finding Proofs? [video](youtube.com)

   6 points by AbstractPlay 1y ago|1 comments
8. 8.▲
   How we might have viewed the continuum hypothesis as a fundamental axiom(youtube.com)

   1 points by AbstractPlay 1y ago|0 comments