As soluções matemáticas da OpenAI ainda não atendem aos padrões do campo
techcrunch ·
A OpenAI lançou recentemente centenas de soluções para problemas matemáticos complexos, afirmando ter consultado um grupo assessor para garantir altos padrões. No entanto, o Grupo Consultivo sobre Matemática e Inteligência Artificial (AGMAI) indicou que a empresa não atendeu a essas expectativas, especialmente no que diz respeito à compreensão humana dos resultados. Embora a OpenAI tenha seguido algumas diretrizes ao publicar as provas rapidamente, falhou em outras, como fornecer dados de raciocínio sequencial (chain-of-thought) para a maioria dos manuscritos ou formalizar uma parte significativa das demonstrações. Críticos, incluindo o renomado matemático Terence Tao, argumentam que os solucionadores de IA carecem de interesse genuíno pelo campo mais amplo e não conseguem explicar adequadamente suas saídas. Um novo estudo destacou discrepâncias entre explicações em linguagem natural e código Lean formal nas soluções da OpenAI para um problema de um milhão de dólares derivado das equações de Navier-Stokes. Essas traduções imprecisas levantam preocupações sobre a dependência de modelos para formalizar seu próprio trabalho sem uma revisão por pares humana rigorosa. Matemáticos enfatizam que a verdadeira descoberta exige engajamento e responsabilidade humanos, aspectos que os processos atuais de IA não fornecem. Consequentemente, a comunidade permanece cética quanto ao fato de a OpenAI estar assumindo responsabilidade suficiente para garantir a compreensão humana dessas soluções autônomas.
techcrunch