FunSearch: descubrimiento matemático verificable con LLMs

Línea temporal

1. 7 jul
   Google DeepMindFiabilidad fuente primaria

   FunSearch: Google DeepMind descubre nuevas soluciones en matemática con LLMs

   Google DeepMind presenta FunSearch, un método que combina un LLM con un evaluador automático para buscar soluciones verificables en forma de código, evitando alucinaciones. FunSearch ha hecho el primer descubrimiento de…