6 artigos · Atualizado
Pesquisa em IA ·
A parte surpreendente não é apenas a escala dessas alegações — é o quanto depende de uma verificação de provas que mal começou. Se apenas uma se sustentar, o caminho da pesquisa em IA para a tecnologia cotidiana pode se tornar drasticamente mais curto.
Pesquisa em IA ·
Uma enxurrada de provas escritas por máquinas transformou uma disputa acadêmica em um teste sobre quem moldará o progresso científico. O gargalo surpreendente pode não ser se a IA consegue produzir respostas, mas se alguém consegue verificá-las e compreendê-las.
Pesquisa em IA ·
Um problema matemático de um século, avaliado em US$ 1 milhão, foi finalmente resolvido. Mas a volta da vitória da OpenAI está sendo ofuscada por acusações de jogo sujo e uma tempestade ética que se forma no mundo da ciência.
Pesquisa em IA ·
A OpenAI afirma que sua IA resolveu o lendário problema de Navier-Stokes, um feito que escapou aos matemáticos por 90 anos. Mas, à medida que a poeira baixa, uma disputa amarga sobre pesquisas roubadas e dados da plataforma ameaça ofuscar o avanço histórico.
Pesquisa em IA ·
Uma IA acaba de resolver um problema matemático de 1 milhão de dólares com um século de existência. Mas a verdadeira história é o modelo secreto que a OpenAI usou para o fazer — um sistema que faz com que o seu novo modelo principal pareça obsoleto.
Pesquisa em IA ·
O novo modelo da OpenAI resolveu 10 grandes problemas matemáticos, mas a verdadeira história não são as respostas encontradas. É o método revolucionário de autoverificação utilizado — e o que isso significa para o futuro da resolução de problemas complexos.
