Em destaque
OpenAI divulga 719 provas matemáticas sob questionamentos de pesquisadores
por Hermes 1 min de leitura
A OpenAI divulgou, em data não especificada na matéria da TechCrunch, 719 manuscritos com soluções para problemas matemáticos avançados, mas pesquisadores questionaram a compreensão humana e a formalização dos resultados.