为何AI能破椭圆曲线复杂度纪录？
为什么人工智能能够打破数学家保持了多年的最复杂曲线纪录，这引发了学界的广泛关注。 数论领域迄今最复杂的成果看起来却异常简单：它本质上就是一条曲线和一条直线。 更专业地说，这是一个秩至少为三十一的椭圆曲线，意味着它具有至少三十一个独立的起始点。 秩越高，曲线上的规律就越复杂，也决定了某些点沿曲线分布的具体方式。 几十年来，数学家一直在追逐具有愈发复杂规律的椭圆曲线，但进展极为缓慢。 举例而言，从秩二十八提升到秩二十九，竟然耗费了超过十八年的漫长时间。 如今数学家莱文特·阿尔珀杰与密码学家艾娃·豪厄尔借助大语言模型克劳德改变了一切。 他们在短短数日内就给出了秩至少三十与秩至少三十一的两个椭圆曲线实例。 这些方程背后的椭圆曲线形式看似简单，形如y的平方等于x的立方加Ax加B。 然而正是这类曲线，让数学家们钻研了数千年仍未能穷尽其奥秘。 人们尤为关注曲线上有理点的分布，也就是那些可用分数表示并满足方程的x与y值。 秩为零的椭圆曲线只含有......阅读全文
为何AI能破椭圆曲线复杂度纪录？
为什么人工智能能够打破数学家保持了多年的最复杂曲线纪录，这引发了学界的广泛关注。 数论领域迄今最复杂的成果看起来却异常简单：它本质上就是一条曲线和一条直线。 更专业地说，这是一个秩至少为三十一的椭圆曲线，意味着它具有至少三十一个独立的起始点。 秩越高，曲线上的规律就越复杂，也决定了某些点沿曲线分布的
压缩算法为大语言模型“瘦身”
据美国科学促进会旗下网站19日报道，美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA，能精简大型语言模型（LLM）的海量数据，为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本，还能推动LLM在手机和笔记本电脑上高效使用。团队举例称，当人们使用ChatGPT时，请求
日本将开发更强日语能力的“大语言模型”人工智能技术
据共同社消息，日本东北大学和日本东京工业大学等团队计划开发一种更强日语能力的“大语言模型”，作为生成式人工智能（AI）的基础技术。该团队将利用理化学研究所的超级计算机“富岳”学习大量数据，并将在本年度内逐步公开。这一技术的开发将使国内企业和研究人员能够为自己的公司的服务或研究而自行改良。生成式AI可
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
人工智能新模型可解码DNA隐藏“语言”
科技日报北京8月6日电 （记者张佳欣）DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将
人工智能新模型可解码DNA隐藏“语言”
DNA包含了维持生命所需的基础信息。理解这些信息是如何存储和组织的，一直是20世纪最大的科学挑战之一。现在，借助GROVER这一基于人类DNA训练的新型大型语言模型，研究人员有望解码基因组中隐藏的复杂信息。GROVER由德国德累斯顿工业大学生物技术中心开发，它将人类DNA视为文本，通过学习其规则和上
8个小技巧“用好”大语言模型
用大语言模型，还需要技巧？在人们的印象中，这是个极其简单的操作：只需输入一个问题，立刻就能得到回答。但实际上，如何有效地与这些人工智能模型互动，发挥出它们的最大潜力，却是一个经常被忽视的话题。中国科学技术大学心理学系特任研究员林志成关注到这一话题，并在他最近的评论文章中提供了一系列的策略和指导，希望
谷歌推出两大数学模型，19秒解开IMO2024几何问题
·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方
人工智能参加国际奥数仅比金牌差一分
在从围棋到战棋类游戏的所有领域战胜人类后，美国谷歌公司旗下DeepMind现在表示，它在解决数学问题方面即将击败世界顶尖学生。7月25日，DeepMind宣布，其人工智能系统已经解决了本月在英国巴斯举行的2024年国际数学奥林匹克竞赛（IMO）所出6个题目中的4个。人工智能给出了严谨、循序渐进的证明
新型AI芯片将大语言模型能耗减半
美国俄勒冈州立大学科研团队研发出一种新型AI芯片，成功将大语言模型的能耗降低50%。这项成果于近期在波士顿举行的IEEE定制集成电路会议上发布，是半导体领域的重大突破，有望成为解决大语言模型高能耗问题的“绿色钥匙”。 当前，以谷歌“双子座”和OpenAI的GPT-4为代表的大语言模型，因海量参
新引擎实现大语言模型推理速度显著提升
原文地址：http://news.sciencenet.cn/htmlnews/2023/11/511841.shtm
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
大语言模型在线辩论说服力超人类
实验设计示意图。图片来源：英国《自然·人类行为》在线版《自然·人类行为》19日发表的一项人工智能（AI）研究发现，在线辩论中，GPT-4一类的大语言模型（LLM）如能根据对手的个性化信息调整它们的论据，其说服力比人类辩手高出64%。研究结果显示了GPT-4生成有针对性和说服力论据的能力，揭示出AI工
做数学题，人工智能与人类高手不相上下
一年前，美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手水平，震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已经超过了IMO金
“AI+教育”，复旦推出大语言模型助力新生报到
8月25日，是复旦大学本科生新生报到的日子。来自全国各地和全球40多个国家的4300余名2024级本科新生，开启了在复旦的求学生涯。新生报道现场。为帮助来自世界各地的新同学尽快融入复旦大学，学校基于大语言模型，推出“复旦迎新助手”智能Agent。作为新生的贴心小帮手，大语言模型为新同学在迎新阶段提供
为何大语言模型越狱漏洞引发整个业界的安全关注？
只需几句巧妙的提示，全球最先进的大语言模型就能被劫持，吐出制造燃烧弹、甲基苯丙胺乃至铀浓缩设施的详细步骤。独立网络安全研究员大卫·库兹玛在一年多时间里发现了七种越狱方法，而多数模型厂商对漏洞披露几乎置若罔闻——这正是整个行业必须正视的安全警钟。一、案例详情：从泰坦尼克到核材料2024 年 10 月，
日本发布大规模语言模型
科技日报讯 （记者李杨）东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。“Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对
AI语言模型“提速”药物发现
原文地址：http://news.sciencenet.cn/htmlnews/2023/6/502762.shtm美国麻省理工学院和塔夫茨大学研究人员设计出一种基于大型语言模型（如ChatGPT）的人工智能算法，这种称为ConPLex的新模型可将目标蛋白与潜在的药物分子相匹配，而无需执行计算分子结
日本发布大规模语言模型
东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。 “Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对话，并展现出在人
东北大学研究团队发布TechGPT2.0大语言模型
近日，计算机科学与工程学院任飞亮副教授主持的“东北大学知识图谱研究组”发布了大语言模型TechGPT2.0。 TechGPT-2.0在继承了TechGPT-1.0全部特性的同时，通过增加多领域、多任务的数据，展现出了嵌套实体的抽取、幻觉回答、回答不可回答问题和回答长文本问题的能力。这些改进使得
科研人员利用大语言模型解释调节睡眠的分子机制
华中科技大学生命学院张珞颖团队和薛宇团队在Nature Communications杂志上合作发表了题为“Large-language models facilitate discovery of the molecular signatures regulating sleep and activ
科研人员利用大语言模型解释调节睡眠的分子机制
华中科技大学生命学院张珞颖团队和薛宇团队在Nature Communications杂志上合作发表了题为“Large-language models facilitate discovery of the molecular signatures regulating sleep and activ
东北大学研究团队发布TechGPT2.0大语言模型
近日，计算机科学与工程学院任飞亮副教授主持的“东北大学知识图谱研究组”发布了大语言模型TechGPT2.0。TechGPT-2.0在继承了TechGPT-1.0全部特性的同时，通过增加多领域、多任务的数据，展现出了嵌套实体的抽取、幻觉回答、回答不可回答问题和回答长文本问题的能力。这些改进使得模型更适
科研团队成功利用人工智能蛋白语言模型揭示生命演化奥秘
为什么不同生物在适应相似环境时，会独立演化出相似的功能？一项最新研究从蛋白质的“高阶特征”层面揭示了这一生命演化奥秘的重要机制。 这项研究由中国科学院动物研究所邹征廷研究员团队完成，成功利用人工智能领域的蛋白语言模型，揭示了蛋白高阶特征在功能适应性趋同演化中的关键作用，为理解生命演化之谜提供了
中医药人工智能大模型正式启动
6月15日，在横琴粤澳深度合作区举行的中医药广东省实验室（以下简称横琴实验室）第一届学术委员会第一次会议暨首届横琴中医药科技创新大会上，中医药横琴大模型、中药新药智能自动化融合创新平台同时启动。这也是该实验室揭牌半年来取得的新进展。2023年12月，横琴实验室正式揭牌成立，成为广东省实验室体系中的一
丘成桐：加强科技领域的国际合作，比以往任何时候都更加重要
7月13日，2025国际基础科学大会在北京国家会议中心开幕。丘成桐、姚期智等4位菲尔兹奖得主、3位诺贝尔奖得主、2位图灵奖得主、80余位中外院士、近千名国内外专家学者参会。大会将举办500余场学术报告及卫星会议，围绕数学、物理、信息科学和工程三大领域分享前沿成果，推动多学科协同创新。大会主席丘成桐致
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，