ParentFull threadamichail·This will be the reality of math soon. Complicated proofs will only be checked completely by AI.View on HN