Acompanhe as últimas notícias, explicações e histórias tecnológicas relacionadas.
A OpenAI divulgou centenas de provas matemáticas, mas uma revisão dos princípios do grupo AGMAI e um estudo de pesquisadores de Cambridge e do King’s College revelaram deficiências na documentação, na compreensão humana e na correspondência entre as explicações textuais e o código Lean.