*First Proof* A set of ten math questions to evaluate the capabilities of AI systems to autonomously solve problems that arise naturally in the research process.
https://1stproof.org/ *LinkedIn * https://www.linkedin.com/posts/martin-hairer-6325a99_1stproof-activity-7425479600484478976-OuVZ <https://www.linkedin.com/posts/martin-hairer-6325a99_1stproof-activity-7425479600484478976-OuVZ?utm_source=share&utm_medium=member_desktop&rcm=ACoAAALsjX4BLAIDsIS8cDKiP7YNqfkZ5xURQPs> https://sites.google.com/site/sequiturquodlibet/ -- 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_LisU%2BwtVMBqSqk1p-EHQ14ydW-DLJ-zLZnj572JEUyFgQ%40mail.gmail.com.
