yaccb3

8 ms·

1. 1.▲
   by yaccb3 3mo ago

   Look, the whole thing actually makes sense and the core idea is pretty cool because it's true that a lot of stuff in math looks identical. But in my opinion this is way too much of a macro-level overgeneralization and you risk throwing
2. 2.▲
   Does a recent proof on open induction formalize the logical limits of LLMs?(arxiv.org)

   1 points by yaccb3 3mo ago|0 comments