科学领域AI预言机的登月计划
A Moonshot for AI Oracles in the Sciences
AI总结：
本文针对机器能否引发科学革命并确立新物理定律的质疑，借鉴科学哲学与AI哲学，提出了机器生成革命性数学理论的必要条件及登月挑战，并给出数学理论可理解性的启发式定义以加速机器理论学家的发展。
摘要：
诺贝尔奖得主Philip Anderson和Elihu Abrahams曾指出：“即使机器确实对常规科学有所贡献，我们也看不到任何机制能让它们引发Kuhnian革命，从而确立新的物理定律。”在这篇Perspective中，我们借鉴科学哲学与人工智能（AI）哲学的见解，提出了恰好能生成革命性数学理论的此类机制的必要条件。AI的最新进展表明，机器满足所提出的必要条件似乎是可行的；因此，我们提出的必要条件也定义了一项登月挑战。我们还提出了数学理论可理解性的启发式定义，以加速机器理论学家的发展。
英文摘要：
Nobel laureate Philip Anderson and Elihu Abrahams once stated that, "even if machines did contribute to normal science, we see no mechanism by which they could create a Kuhnian revolution and thereby establish a new physical law." In this Perspective, we draw upon insights from the philosophies of science and artificial intelligence (AI) to propose necessary conditions of precisely such a mechanism for generating revolutionary mathematical theories. Recent advancements in AI suggest that satisfying the proposed necessary conditions by machines may be plausible; thus, our proposed necessary conditions also define a moonshot challenge. We also propose a heuristic definition of the intelligibility of mathematical theories to accelerate the development of machine theorists.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
