Mathematics Without Mathematicians
5 hours ago
- OpenAI 宣布了一个模型，解决了一个由数学家认为重要的十个开放性数学问题。
- 人们会使用各种应对机制来淡化影响，但每一个都会被现实反驳。
- 常见的应对方式包括：指导人工智能、教授人工智能发现、将结果规范化、成为人工智能数学的学生、要求人类理解、与象棋比较、以及继续以社交方式进行数学研究。
- 反驳：人工智能在品味、教学和架构上将超越人类；前沿数学将变得过于庞大，人类难以掌握；将人类排除在循环之外的公司将更具竞争力；象棋是封闭的，而数学推动科学。
- 数学的社会背景将会退化，类似于人工智能对软件开发的影响。
- 技术并非不可避免；人类可以选择不让自己过时，但通用人工智能可能导致人类变得像宠物一样。
- 反对人工智能进步的最佳论据是强化学习的泛化能力差，但大量资源正被投入以克服这一点。