IA aplicada a biología, medicina, matemáticas y ciencia de frontera
Un modelo interno de OpenAI afirma refutar la ETH con un algoritmo subexponencial para contar soluciones de k-SAT, verificado en Lean. Impagliazzo, Paturi y Williams lo revisarán.
IPD, Nvidia y Manchester probaron 67 enzimas diseñadas por IA para un paso de la síntesis de lenacapavir: 4 activas, la mejor con 79% de conversión. Preprint abierto.
Prompteina (Universidad de Washington, grupo de David Baker) genera proteínas desde texto. Nueve binders contra GM2A se validaron en laboratorio; el mejor con 107 nM. Cómo funciona, límites y relevancia empresarial.