Does a recent proof on open induction formalize the logical limits of LLMs? (arxiv.org) 1 points by yaccb3 2mo ago ↗ HN
1 comment
[ 5.1 ms ] story [ 23.7 ms ] thread