bluesky — Boxo McFoxo — 7 Oct 2026
It doesn't prove theorems, though. It outputs proof-shaped objects and they have more chance of resembling a real proof…
#large-language-models #formal-verification #mathematical-reasoning
It doesn't prove theorems, though. It outputs proof-shaped objects and they have more chance of resembling a real proof than when it outputs most other objects, because of the very specific nature of that training data.