AI破解埃尔德什难题,专家呼吁设护栏
人工智能的成果虽正确,却引发数学界对验证与开放性的争议。
人工智能近期破解了一个由埃尔德什提出的数学难题,结果被证实正确,但解题过程不透明,引起数学界震动。传统上,数学证明需要同行验证、明确归属和公开算法,而AI的黑箱操作违背了这些核心规范。专家们因此呼吁为AI在数学研究中的应用设立“护栏”,确保其产出可被理解和检查。这一事件凸显了AI在科学探索中的潜力与挑战。
人工智能的成果虽正确,却引发数学界对验证与开放性的争议。
人工智能近期破解了一个由埃尔德什提出的数学难题,结果被证实正确,但解题过程不透明,引起数学界震动。传统上,数学证明需要同行验证、明确归属和公开算法,而AI的黑箱操作违背了这些核心规范。专家们因此呼吁为AI在数学研究中的应用设立“护栏”,确保其产出可被理解和检查。这一事件凸显了AI在科学探索中的潜力与挑战。