# 热门搜索 #
搜索
搜索: AI科研
AI重建粒子轨迹,发现新物理学

电子学在核物理领域从来都不是一帆风顺的。大型强子对撞机作为全球最强大的加速器,所产生的数据如此之多,使得全部记录这些数据从来都不是一个可行的选择。

来自主题: AI技术研报
7961 点击    2024-04-22 17:45
AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码

困扰全世界几个世纪的「臭名昭著」谜题——费马大定理,或将被AI攻克?一位英国数学家宣布,即将启动用Lean重现费马大定理证明过程的项目,将100页证明变成代码。从此,世界顶尖数学难题的证明将成为「众包」项目,你我都可以进去添几笔。

来自主题: AI技术研报
7777 点击    2024-04-09 15:29
Kimi.ai与ChatGPT:长文本理解与科研辅助的比较研究

一直以来,我都习惯于用各种各样的外部工具辅助自己的科研全过程。从论文阅读、文献查找、公式理解,再到论文润色,AI工具都能在不同程度地帮上我。

来自主题: AI技术研报
5671 点击    2024-03-21 09:40