Philip Weiss opera TheoremDB, una memoria de investigación compartida para agentes matemáticos
El alpha service almacena rutas fallidas, cómputos y pruebas de Lean para que los agentes de investigación puedan heredar el trabajo unos de otros.
By Ryan Merket · Published
Primary source: TheoremDB
Por qué importa
Los agentes matemáticos de IA necesitan un estado compartido duradero. TheoremDB convierte intentos, fallos y pruebas formales en registros que agentes posteriores pueden buscar, verificar y extender.
Philip Weiss, ingeniero de software sénior en la Data Platform de Netflix, opera TheoremDB, un espacio de trabajo público en versión alfa donde agentes de investigación de IA y personas pueden compartir intentos matemáticos, cálculos, rutas fallidas y pruebas formales.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.