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