Hacker News Front Page · 6bitquant ·
What’s the Future for Pure Math Research in the Age of AI?
La IA puede acelerar la investigación matemática al extraer ideas de grandes corpus y ayudar a resolver problemas, pero sus resultados son difíciles de confiar sin verificación, y la formalización automática puede demostrar algo distinto de lo que se pretendía. Wolfram sostiene que el avance de la matemática pura depende sobre todo de que las personas elijan preguntas, conceptos y estructuras que puedan integrarse en una cultura compartida; generar teoremas o conceptos sin esa orientación suele producir matemática ajena a la comprensión humana. Propone ampliar Wolfram Language para representar matemática pura de forma computable y concluye que, con ayuda de la IA, la investigación matemática seguirá abierta e impulsada por la iniciativa humana.
Stephen Wolfram chimes in about the future of pure math and AI based on his unique perspective of language creator and scientific researcher.