3 ms·
It does, but not necessary with LLMs, see https://news.ycombinator.com/item?id=41069829 https://news.ycombinator.com/item?id=41069829 for example - this is mixi
by boroboro4 2y ago
It does, but not necessary with LLMs, see https://news.ycombinator.com/item?id=41069829 https://news.ycombinator.com/item?id=41069829 for example - this is mixing Lean with neural network to automatically proof theorems.