Ciência e matemática: últimas notícias de IA

IA na ciência e na matemática: provas, descobertas e artigos, com link para a própria pesquisa.

2 de nov. Modelo de aprendizado profundo estima risco de mortalidade e trajetória de vida a partir de fotos comuns da retina, diz artigo na Nature
2 de nov. CluSTER, do KAIST, reduz em até 69,6% o tempo de ajuste fino de LLMs usando cerca de 31% dos dados
1 de nov. Matemáticos britânicos reunidos na Royal Society alertam que laboratórios de IA podem manter resultados matemáticos atrás de acesso pago
1 de nov. Método da UNIST treina pequenos agentes LLM para inferir papéis ocultos e eleva a taxa de vitória no Lobisomem de 41,6% para 65,6%
31 de out. Balestriero e LeCun provam que JEPAs treinados com 'boas vistas' aprendem a mesma representação a menos de uma rotação
31 de out. Pesquisador propõe 'estados de crença generalizados' para decodificar e direcionar o que modelos de sequência representam
31 de out. World Laureates Forum abre em Xangai; Daubechies leva prêmio WLF de matemática e Lafforgue diz que LLMs resolvem alguns problemas em aberto
31 de out. Equipe da Universidade de Pequim porta o código DFT ABACUS para o Kunpeng 920 da Huawei e relata acelerações de até 10,7 vezes
30 de out. Epoch AI constata que 17% dos preprints de biologia no bioRxiv declaram uso de LLM, perto dos 19% de ferramentas de IA especializadas
30 de out. OpenAI encerrará o Prism, seu espaço de trabalho LaTeX com IA para cientistas, em 1º de janeiro de 2027
30 de out. Instituto SETI e Breakthrough Listen deixam agentes de IA conduzir o Allen Telescope Array e processar dados em tempo real
30 de out. Preprint reúne pré-treino, ajuste fino e RL em um único algoritmo de treinamento baseado em verossimilhança
30 de out. O modelo Tianji da Envision, inscrito como equipe Arcana, lidera o AI Weather Quest do ECMWF para os dias 19 a 25
30 de out. Análise por IA de 98 milhões de chamados de morcegos torna possível o maior levantamento de morcegos em florestas do Reino Unido
30 de out. Agentes de IA colaborativos escolhem uma pergunta, derivam um resultado e o testam experimentalmente em spins quânticos no diamante
30 de out. Modelos GPT de fronteira propõem resoluções candidatas para cerca de 60% de 200 conjecturas abertas sorteadas, diz estudo
30 de out. Análise do Ramanujan Challenge mostra que uma submissão provou uma de suas conjecturas abertas de teoria dos números publicadas
30 de out. Balestriero e LeCun provam que JEPAs treinados em modalidades diferentes aprendem a mesma representação a menos de uma rotação
29 de out. YC Labs coloca 50 agentes GPT-6.1 Sol no Minecraft por 3 horas e eles criam uma burocracia de racionamento
29 de out. Preprint prova que o número de van der Waerden w(2;3,21) é 416 com prova verificada pelo kernel do Lean 4
29 de out. The Biological Computing Co. lança o Mischief 1, modelo de vídeo ajustado com adaptadores derivados de neurônios cultivados
28 de out. Anthropic amplia seu programa AI for Science para 20 fundações e instituições de pesquisa
27 de out. Axiom diz que agentes de IA formalizaram em Lean a classificação dos grupos simples finitos em 24 dias
27 de out. Anthropic publica artigo que afirma um algoritmo de tempo subexponencial para 3-SAT, com formalização em Lean 4
26 de out. Pesquisadores começam a verificar as alegações de OpenAI e Anthropic de que a IA refutou a Hipótese do Tempo Exponencial
23 de out. Physical Superintelligence publica resultados com IA sobre cinco problemas quânticos abertos com provas em Lean
21 de out. Cerca de 2.000 agentes GPT-Rosalind analisam um atlas CRISPR do cérebro inteiro em 32 minutos
19 de out. NVIDIA e o Institute for Protein Design lançam RFD4-Proteina, modelo aberto de design de proteínas
19 de out. Quantinuum relata fidelidade lógica de 99,9995% no Helios, melhora de dez vezes na correção de erros
16 de out. Registros em macacos mostram o cérebro alternando entre imagem vista e suprimida cerca de 15 vezes por segundo
15 de out. Google demonstra cultivo de estados mágicos no Willow e reduz o erro lógico cerca de 40 vezes
11 de out. AlphaProof Nexus, da DeepMind, resolve 9 problemas de Erdős, dois abertos há mais de 50 anos, com provas em Lean
10 de out. OpenAI publica 722 manuscritos de matemática produzidos por modelo interno não lançado
6 de out. Alman e Vassilevska Williams publicam algoritmos subquadrático para 3SUM e subcúbico para APSP