Notícias e análises sobre Verificação Formal

OpenAI faz Astra escrever dez provas

A OpenAI apresentou o Astra com dez resultados em matemática e ciência da computação teórica, acompanhados por um artigo de 249 páginas, certificados Lean e registros de raciocínio.