How could science papers could be reviewed by computers? It’s by coding and happening in math with LEAN. Only good stuff will happen; less time for review and more data for AI. Authors need to learn LEAN though