菲尔兹奖获得主抗议AI公司数学军备竞赛

菲尔兹奖获得主抗议AI公司数学军备竞赛

解数学题，从最早的时候算数，到有勾股定理，再有后来更多的公理定理。其中的一些计算在计算器中会出现，已经明确的计算方式在电脑中编程是完全可以实现代替。原来以为，电脑能做到的是根据人的指令去完成任务，就像人类发展中使用石器，再有使用金属，到现在还有更多先进的材料制作的设备，都是大大提高生产效率的途径。事实证明，在先进工具的支撑下，社会发展是非常迅速地，最近五百年的科技大发展，几乎超越了过去时间累积发展的总和。人工智能出现大发展，能够对话聊天，成为几乎是助理这样的水平。在逻辑严谨的领域，有超过人类的总结归纳能力，基于互联网的搜索，再有大体差不多的表达语法和结构，就能够呈现出多于人类知识范围的更多观点的文章结果。同样是一千字，人工智能包含的细节会更多，只是广博，都不足以形容AI的知识储备，开放的网络环境下，100%的依据和知识量，还有就是批量输出的能力，在电量足够的情况下，是能够做出超乎想象的思考结果的。任何领域都会受到科技发展的影响，流水线的手工作业已经有被机器人替代的可能，其他领域多少都会有发生变化。数学领域中，人们都是利用之前已经证明的依据投入应用，再有继续证明其他的更深刻的结论。在逻辑这方面，不能否认AI是有优势的。也许在理论研究中，会是一个系统工程那样的思维模式，利用已有的工具，然后不断完善系统中的结构细节，来得出结论，如果管理成熟，会有快速大量的结果出现。