📢 🧠 Como transformar uma demonstração matemática em um formato que o computador consiga verificar por conta própria?

É aí que entra o Lean, uma ferramenta que ajuda matemáticos a escrever demonstrações formalmente, para que o computador revise os passos do raciocínio e confirme se estão corretos segundo regras lógicas específicas.

🏆 E essa é parte da ideia destacada pelo prêmio #JustinSunPrize : não basta chegar à solução; também é preciso transformar a demonstração em um formato que possa ser verificado automaticamente.

💡 Em resumo: a solução exige pensamento e criatividade, e a verificação formal nos ajuda a confirmar com mais precisão se a demonstração está correta.
@TRON DAO @Justin Sun孙宇晨
#Tron #TGF #TRONGlobalFriends