跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明
跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。
来自主题: AI技术研报
6597 点击 2024-05-02 18:05
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。
人工智能（AI）工具正在改变科学研究的方式。AlphaFold基本解决了蛋白质结构预测难题；DeepMD大大提高了分子模拟的效率和精度；而新兴的大型语言模型，如ChatGPT等，也正在科学研究领域开疆拓土。
在 4 月 27 日召开的中关村论坛通用人工智能平行论坛上，人大系初创公司智子引擎隆重发布全新的多模态大模型 Awaker 1.0。
ChatGPT-4 被认为是人工智能技术发展的重要节点，语言大模型之后的多模态大模型初步显现了世界模型的影子。大模型最终将通过硬件与物理世界产生交互。人工智能的应用实现从数字世界到物理世界的扩展，具身智能是非常关键的技术方向。
近日，上海交通大学自然科学研究院/物理与天文学院/张江高等研究院洪亮课题组，在生物信息学和人工智能研究领域的国际权威学术期刊JCIM（Journal of Chemical Information and Modeling）上发表最新研究成果
每一次关键技术取得通用化的突破，都会深刻改变生产方式，并显著提升生产力水平，而「大模型」成为了打通人工智能技术通用性「任督二脉」的关键。智慧眼，作为全球领先的人工智能企业，最近推出了其创新研发的通用大模型——砭石。
特斯拉首席执行官埃隆-马斯克（Elon Musk）宣布，今年将投资约100亿美元用于人工智能开发，特别是改进其汽车，以增强自动驾驶功能。
今年 2 月份，OpenAI 发布了人工智能文生视频大模型 Sora，并放出了第一批视频片段，掀起了 AI 生成视频浪潮。目前，Sora 仍未进行公测，只有一些视觉艺术家、设计师、电影制作人等获得了 Sora 的访问权限。他们发布了一些 Sora 生成的视频短片，其连贯、逼真的生成效果令人惊艳。
在4月27日召开的中关村论坛通用人工智能平行论坛上，人大系初创公司智子引擎隆重发布全新的多模态大模型Awaker 1.0，向AGI迈出至关重要的一步。
4月28日，2024中关村论坛年会“重塑医疗：医学中的创新人工智能转型”平行论坛在北京召开。“人工智能正引领科技革命，对医疗健康产生深远影响。”北京市卫健委副主任邓平基在开场致辞中表示。