Yc

O AlphaProof Nexus do Google DeepMind resolveu dezenas de problemas matemáticos em aberto, incluindo nove problemas de Erdős, dois dos quais não eram resolvidos há 56 anos, de acordo com um estudo na Science. A publicação ocorre enquanto a OpenAI enfrenta um boicote por despejar provas de IA no GitHub sem revisão por pares.

Pesquisa • The Decoder

Produtividade

Se você se pegar copiando e colando entre ferramentas de IA, use um gerenciador de área de transferência ou uma ferramenta como o Raycast para otimizar o fluxo de trabalho.

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