Para muchos especialistas, este avance apunta a un cambio profundo en la forma de hacer matemáticas. Las herramientas de inteligencia artificial podrían encargarse de revisar miles de detalles técnicos, permitiendo que los investigadores concentren su esfuerzo en la intuición, la estrategia y las ideas que impulsan nuevos descubrimientos.
|
etiquetas: ia , verificar , teoremas , complejos
- ¿ Es este el club de tiquismiquis?
- ¿Club? ¡Asociación! ¡ ASOCIACIÓN!