The AI Revolution in Math Has Arrived "AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning." https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhm-Xjsj3-jh0mfj98-we7xBB6eWC7NdnOTCAniAERFQg%40mail.gmail.com.
