Ciencia y matemáticas: últimas noticias de IA

La IA en la ciencia y las matemáticas: demostraciones, descubrimientos y artículos, con enlace a la investigación original.

2 nov Un modelo de aprendizaje profundo estima el riesgo de mortalidad y la trayectoria vital a partir de fotos de retina comunes, según un artículo en Nature
2 nov CluSTER, de KAIST, reduce hasta un 69,6% el tiempo de ajuste fino de LLM usando cerca del 31% de los datos
1 nov Matemáticos británicos reunidos en la Royal Society advierten que los laboratorios de IA podrían guardar resultados matemáticos tras muros de pago
1 nov Un método de UNIST entrena pequeños agentes LLM para inferir roles ocultos y eleva su tasa de victorias en Werewolf del 41,6% al 65,6%
31 oct Balestriero y LeCun demuestran que las JEPA entrenadas con 'buenas vistas' aprenden la misma representación salvo una rotación
31 oct Un investigador propone 'estados de creencia generalizados' para decodificar y dirigir lo que representan los modelos de secuencias
31 oct Abre el World Laureates Forum en Shanghái; Daubechies gana el premio WLF de matemáticas y Lafforgue dice que los LLM resuelven algunos problemas abiertos
31 oct Un equipo de la Universidad de Pekín adapta el código DFT ABACUS al Kunpeng 920 de Huawei y reporta aceleraciones de hasta 10,7 veces
30 oct Epoch AI constata que el 17% de los preprints de biología en bioRxiv declara usar LLM, cerca del 19% de herramientas de IA especializadas
30 oct OpenAI cerrará Prism, su espacio de trabajo LaTeX con IA para científicos, el 1 de enero de 2027
30 oct El Instituto SETI y Breakthrough Listen dejan que agentes de IA dirijan el Allen Telescope Array y procesen datos en tiempo real
30 oct Un preprint unifica preentrenamiento, ajuste fino y RL en un solo algoritmo de entrenamiento basado en verosimilitud
30 oct El modelo Tianji de Envision, inscrito como equipo Arcana, lidera el AI Weather Quest del ECMWF para los días 19 a 25
30 oct El análisis con IA de 98 millones de llamadas de murciélagos hace posible el mayor censo forestal de murciélagos del Reino Unido
30 oct Agentes de IA colaborativos eligen una pregunta, derivan un resultado y lo prueban experimentalmente con espines cuánticos en diamante
30 oct Modelos GPT de frontera ofrecen posibles resoluciones para cerca del 60% de 200 conjeturas abiertas elegidas al azar, según un estudio
30 oct Un análisis del Ramanujan Challenge halla que un envío demostró una de sus conjeturas abiertas de teoría de números publicadas
30 oct Balestriero y LeCun demuestran que JEPAs entrenados en distintas modalidades aprenden la misma representación salvo una rotación
29 oct YC Labs pone a 50 agentes GPT-6.1 Sol en Minecraft durante 3 horas y crean una burocracia de racionamiento
29 oct Un preprint demuestra que el número de van der Waerden w(2;3,21) es 416 con una prueba verificada por el núcleo de Lean 4
29 oct The Biological Computing Co. lanza Mischief 1, un modelo de vídeo ajustado con adaptadores derivados de neuronas cultivadas
28 oct Anthropic amplía su programa AI for Science a 20 fundaciones e instituciones de investigación
27 oct Axiom dice que agentes de IA formalizaron en Lean la clasificación de grupos simples finitos en 24 días
27 oct Anthropic publica un artículo que afirma un algoritmo de tiempo subexponencial para 3-SAT, con formalización en Lean 4
26 oct Investigadores empiezan a revisar las afirmaciones de OpenAI y Anthropic de que la IA refutó la hipótesis del tiempo exponencial
23 oct Physical Superintelligence publica resultados asistidos por IA sobre cinco problemas cuánticos abiertos con pruebas en Lean
21 oct Unos 2.000 agentes GPT-Rosalind analizan en 32 minutos un atlas CRISPR de cerebro completo
19 oct NVIDIA y el Institute for Protein Design de UW publican RFD4-Proteina, un modelo abierto de diseño de proteínas
19 oct Quantinuum informa una fidelidad lógica del 99,9995% en Helios, una mejora de diez veces en corrección de errores
16 oct Registros en monos muestran que el cerebro alterna entre imagen vista y suprimida unas 15 veces por segundo
15 oct Google demuestra el cultivo de estados mágicos en Willow y reduce el error lógico unas 40 veces
11 oct AlphaProof Nexus de DeepMind resuelve 9 problemas de Erdős, dos abiertos más de 50 años, con pruebas en Lean
10 oct OpenAI publica 722 manuscritos matemáticos producidos por un modelo interno no lanzado
6 oct Alman y Vassilevska Williams publican algoritmos subcuadráticos para 3SUM y subcúbicos para APSP