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!
De hecho si le preguntan varias veces, es muy posible que den distintas respuestas a la misma pregunta..supongo que a nivel grandes corporaciones, estados,etc, estaran más optimizadas las IA pero a nivel de calle son mayormente,una puta mierda.
IA - "El teorema está verificado"
- "Seguro? No lo está"
IA - "Jaja, tienes razón, no está verificado, siento mucho mi anterior respuesta. Deseas que te lo desverifique con fotos de gatitos?"
Resulta que algo/alguien lo ha verificado. Sólo faltaría que las demostraciones no se verificaran.
Hay que hacer un esfuerzo para ser capaz de imaginar el destrozo.