Mathematics
Arquivo temático • 3 resultados
Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA
2026-10-07
Tecnologia
Uma prova assistida por IA para o empacotamento ideal de 11 quadrados passou pela verificação formal com Lean. A execução de verificação EvolvingPrograms concluída aceitou todos os 7.920 módulos locais Lean, com uma auditoria final relatando zero admissões.
Pesquisa em IA • Hacker News
Link permanente
2026-10-08
Tecnologia
A OpenAI retirou três artigos matemáticos gerados por IA depois que um erro de sinal invalidou um argumento-chave, apenas um dia após liberar mais de 700 manuscritos de uma só vez. A Associação de Matemática Humana está pedindo um boicote, e o medalhista Fields Terence Tao alertou sobre a qualidade das provas geradas por IA.
Pesquisa em IA • Hacker News
Link permanenteA enxurrada de provas matemáticas geradas por IA da OpenAI se desviou das diretrizes estabelecidas por um grupo de pesquisadores matemáticos consultados pelo laboratório de fronteira, de acordo com o TechCrunch. A abordagem da empresa para soluções matemáticas supostamente ainda não está atendendo aos padrões do campo.
Pesquisa em IA • TechCrunch AI
Link permanente