Claro, ya hay muchos problemas matemáticos, la mayoría de ellos de naturaleza combinatoria, que ya se han resuelto usando computadoras. El artículo wiki La prueba asistida por computadora te da algunos ejemplos.
Además, si observa los documentos modernos que dan las pruebas o intenta probar algunas conjeturas teóricas numéricas, como la Conjetura de Collatz, Wikipedia, descubrirá que grandes porciones de las pruebas se basan en cálculos asistidos por computadora.
Sin embargo, estas no son pruebas en el sentido propio sino cálculos. Y dado que estos cálculos dependen de muchos aspectos técnicos que un ser humano no puede controlar y comprobar su validez después, son muy controvertidos. Sin embargo, este enfoque es productivo, al menos aunque sea el trabajo principal, la idea de una prueba la realiza un humano y el papel de la computadora se reduce a cálculos.
Otro enfoque que se limita a dejar que una computadora maneje la lógica de la prueba profundamente entrelazada con la inteligencia artificial resultó ser menos productiva. Aunque las pruebas matemáticas son lógicas, la lógica de una prueba no es el problema principal que un ser humano tiene que abordar. Es decir, si conociera una colección de hechos que conducen a la prueba, seguramente podría producir una prueba sin computadora. Como regla general, no necesita formalizar estos hechos, para ingresarlos en el sistema informático implementando algunos cálculos lógicos formales como Prolog para obtener una prueba.
Este enfoque puede ser más útil para resolver algunos acertijos lógicos como Zebra Puzzle, aunque los problemas matemáticos reales tienen la otra estructura.
- ¿Qué es la variable de referencia en C ++ y por qué se usa? ¿Cómo se relaciona con la variable de valor y la variable de puntero?
- ¿Cuáles son algunos ejemplos de pruebas matemáticas que contradicen las expectativas?
- ¿Qué ventajas tienen las matemáticas mayores que recién comienzan a estudiar la programación en comparación con la especialización CS?
- ¿Cuál es una mejor especialización, CS o matemáticas?
- ¿En qué formalismo matemático se basa la programación orientada a objetos (OOP)? ¿Se desarrolló algún formalismo después de que la POO se generalizó?
La hipótesis de Riemann probablemente no está en el rango de problemas matemáticos en los que una computadora jugará un papel crucial en su demostración. Se verificó usando software para docenas de billones de ceros no triviales de la función [math] \ zeta [/ math] pero no importa absolutamente nada. Por supuesto, si está mal, será más tarde o más tarde refutado con computadoras.