Post
Boxo McFoxo
boxobark.ing
did:plc:5aeagkpy2ch5eencyi2elahk
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.
2026-10-07T17:14:48.975Z