Terence Tao no cree que la IA acabe sustituyendo a los investigadores; sostiene que en realidad es una herramienta muy valiosa que permite a los matemáticos dejar atrás la investigación individual y colaborar en proyectos mucho más grandes y ambiciosos. Y predica con el ejemplo. De hecho, ha introducido Lean en su flujo de trabajo diario. Esta herramienta es un asistente de demostraciones y un lenguaje de programación diseñado para verificar los razonamientos matemáticos y comprobar que son totalmente correctos.
|
etiquetas: terence , matemático , mundo , reconocido , usando , ia , resolver , problema 
#1 woke 
