Los nuevos asistentes de los matemáticos son artificialmente inteligentes
Los matemáticos exploran ideas proponiendo conjeturas y probándolas con teoremas. Durante siglos, construyeron estas demostraciones línea por línea, y la mayoría de los investigadores matemáticos todavía trabajan así hoy. Pero…