upvote

points

by pixl977 hours ago |
comments
upvoteby bronson7 hours ago|
[-]
What does "mathematical output of the AI" even mean? A proof? Intermediate tokens?
reply
upvoteby __MatrixMan__5 hours ago|
parent|
[-]
It's a Lean program that proves the theorem.
reply