solidot新版网站常见问题,请点击这里查看。
科技
Edwards(42866)
发表于2026年06月28日 20时06分 星期日
来自卡叠什战役
韩国计划训练所有军人像使用枪支一样熟练操作无人机。国防部长官安圭伯表示,目标是通过训练士兵像使用“第二件个人武器”一样使用无人机,让无人机成为所有部队的“通用作战工具”。韩国还计划为军事单位配备更多廉价且可消耗的无人机,用于侦察和打击任务,部署更多反无人机激光武器和微波武器。很多国家都在效仿乌克兰训练和装备无人机,韩国并非个例。乌克兰利用无人机和军用机器人弥补其在战场上与俄罗斯庞大军力对抗的劣势。韩国国防部今年将首先向军人提供 1.1 万架训练无人机,目标是到 2029 年部署 6 万架无人机。出于安全考虑,韩国军方希望采购 100% 国产零部件的无人机。

人工智能
Edwards(42866)
发表于2026年06月28日 00时02分 星期日
来自奇迹之夏
几十年来计算加速了数学的进步。50 年前数学家利用计算机证明了四色定理,以一种人类几乎不可能实际验证的方式证明任何地图可以用不超过四种颜色着色。但在整个计算时代,人类数学家的作用仍然至关重要。人类凭借直觉提出猜想,凭借创造力和经验设计证明策略,最终验证证明是否正确。今天 AI 正在挑战这一模式。短短几年内,大模型就从只知道复述的“随机鹦鹉”演变成高级数学推理机器。UCLA 教授陶哲轩认为 AI 能作为催化剂推动向他所谓的“大数学”的转变,设想未来人类与机器将进行大规模、去中心化的协作,复杂的数学任务被分解,人类负责创造性部分,而 AI 则承担大部分技术性工作。陶哲轩已在实践这一理念。AI 正迫使数学家思考数学对他们的意义。一位数学家称,数学塑造了其思维方式,使其能以非常逻辑和理性的方式思考,对生活各个方面都有帮助。随着 AI 改变数学,研究人员想知道未来的数学家是否也能这样说。