[Logica-l] Inteligência Artificial, Einstein e Direito: saiba o que é a lógica paraconsistente, criada por matemático brasileiro

Isa Morena Vista, O Globo https://oglobo.globo.com/brasil/noticia/2024/04/19/inteligencia-artificial-einstein-e-direito-saiba-o-que-e-a-logica-paraconsistente-criada-por-matematico-brasileiro.ghtml?utm_source=aplicativoOGlobo&utm_medium=aplicativo&utm_campaign=compartilhar Em modo leitura: https:

[Logica-l] Re: resources on AI to assist mathematical reasoning

também de possível interesse para as mesmas pessoas interessadas nos links anteriores: $10mn AI Mathematical Olympiad Prize Launches https://aimoprize.com/ "The AIMO Prize [..] will help compare different AI problem solving strategies at a technical level, in a manner that will be accessible and

[Logica-l] resources on AI to assist mathematical reasoning

editable list of resources https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit workshop https://www.nationalacademies.org/event/06-12-2023/ai-to-assist-mathematical-reasoning-a-workshop JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da