（科技）研究人员为了让人工智能推进数学研究

一新华社奥克兰12月末3日电（刘诗月末）一个国际科研工作团队近日报告说，他们首次在复杂的数理逻辑假说应用借助人工智慧电子技术，以方法学努力数理逻辑家证明或提出一新的数理逻辑等式，相关原始数据分析结果本周已撰写在英国《自然》期刊上。

原始数据分析人员介绍说，数理逻辑原始数据分析的目地之一是推断出模型，并借助这些模型来提出和验证某个费马，从而过渡到等式。虽然人工智慧电子技术此前也被引入数理逻辑原始数据分析，但主要用来努力分析复杂的原始数据集，但数理逻辑费马仍然要依靠数理逻辑家的抽象概念。

在一新原始数据分析中所，原始数据分析人员借助谷歌Group“深层思维”公司架设的一个方法学框架，努力数理逻辑家从大量已有原始数据中所推断出可能被声称的费马，或者是用到那些原始数据分析并不一定不算庞杂、基本上方法无法妥善处理的缺陷，数理逻辑家可以在此基础上筹划再进一步的原始数据分析工作。

参与该原始数据分析的塔斯马尼亚爱丁堡大学数理逻辑原始数据分析所所长爱德华姆森暗示，他在这一方法学框架下，将声称关于卡日丹-卢斯蒂格多项式的古老费马向上推进了一步，该费马涉及欧拉代数中所的深度磁矩，过去40年未能得到解决。在此基础上，英国牛津大学的两位原始数据分析人员再进一步推断出了欧拉假说中所代数和几何不变量中间存在的联系，并提出了一个全一新的等式假说。

原始数据分析工作团队暗示，虽然数理逻辑家的抽象概念在学科原始数据分析中所起着重要作用，但人工智慧系统是很好的工具，可以努力数理逻辑家找到不易推断出的规律和联系，由此推行解决复杂的数理逻辑缺陷。这一原始数据分析也得出结论，如今的人工智慧电子技术已非常先进，可以加快很多学科的科学原始数据分析。原始数据分析工作团队也希望通过该原始数据分析成果，启发其他学科和应用的原始数据分析人员把人工智慧作为其应用的原始数据分析工具。（完）