87年雅可比猜想难题终于被推翻
当无数人还沉浸在最近世界杯决赛的余兴中，数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布，他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5，找到了代数几何中著名老问题“雅可比猜想”（Jacobian conjecture）的反例。这是大语言模型助数学家取得的一系列惊人突破中最新的一例，却与以往略有不同。 所谓猜想，是数学家相信为真、却无人能证或否的命题。雅可比猜想涉及多项式函数——可想象成把空间中的点（如地图坐标）按规则移来移去的“小机器”。用雅可比行列式可检验函数“温和”与否：若它恒为非零常数，函数在各点既不折叠也不压扁空间。猜想断言：当雅可比行列式为非零常数时，必存在另一个同样由多项式构成、能“撤销”原函数、把点送回原位的函数。 并非所有函数都可逆——若原函数把两点并到一点，便无法区分送回。二维版本由捷克数学......阅读全文
87年雅可比猜想难题终于被推翻
当无数人还沉浸在最近世界杯决赛的余兴中，数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布，他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5，找到了代数几何中著名老问题“雅可比猜想”（
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
“本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
压缩算法为大语言模型“瘦身”
据美国科学促进会旗下网站19日报道，美国普林斯顿大学和斯坦福大学团队开发出一种新压缩算法CALDERA，能精简大型语言模型（LLM）的海量数据，为LLM“瘦身”。这项算法不仅有助保护数据隐私、节约能源、降低成本，还能推动LLM在手机和笔记本电脑上高效使用。团队举例称，当人们使用ChatGPT时，请求
中国科大团队证明凯勒几何两大核心猜想
中国科学技术大学几何物理中心创始主任陈秀雄教授与合作者程经睿在偏微分方程和复几何领域取得重要成果，解出了一个四阶完全非线性椭圆方程，成功证明“强制性猜想”和“测地稳定性猜想”，解决了若干有关凯勒流形上常标量曲率度量和卡拉比极值度量的著名问题。两篇论文日前发表于国际著名刊物《美国数学会杂志》。
8个小技巧“用好”大语言模型
用大语言模型，还需要技巧？在人们的印象中，这是个极其简单的操作：只需输入一个问题，立刻就能得到回答。但实际上，如何有效地与这些人工智能模型互动，发挥出它们的最大潜力，却是一个经常被忽视的话题。中国科学技术大学心理学系特任研究员林志成关注到这一话题，并在他最近的评论文章中提供了一系列的策略和指导，希望
青年数学家辞去法国终身教职，加入北大！
7月27日，北京大学官方微信公众号刊文《辞去法国终身教职，他加入北大！》透露，青年数学家谢俊逸，已于2021年辞去法国国家科学研究中心（CNRS）的终身职位，同年秋天加入北京大学北京国际数学研究中心。文中介绍，今年春天，北京大学北京国际数学研究中心教授谢俊逸和袁新意合作的论文“Geometric B
新型AI芯片将大语言模型能耗减半
美国俄勒冈州立大学科研团队研发出一种新型AI芯片，成功将大语言模型的能耗降低50%。这项成果于近期在波士顿举行的IEEE定制集成电路会议上发布，是半导体领域的重大突破，有望成为解决大语言模型高能耗问题的“绿色钥匙”。 当前，以谷歌“双子座”和OpenAI的GPT-4为代表的大语言模型，因海量参
新引擎实现大语言模型推理速度显著提升
原文地址：http://news.sciencenet.cn/htmlnews/2023/11/511841.shtm
大语言模型在线辩论说服力超人类
实验设计示意图。图片来源：英国《自然·人类行为》在线版《自然·人类行为》19日发表的一项人工智能（AI）研究发现，在线辩论中，GPT-4一类的大语言模型（LLM）如能根据对手的个性化信息调整它们的论据，其说服力比人类辩手高出64%。研究结果显示了GPT-4生成有针对性和说服力论据的能力，揭示出AI工
丘成桐：加强科技领域的国际合作，比以往任何时候都更加重要
7月13日，2025国际基础科学大会在北京国家会议中心开幕。丘成桐、姚期智等4位菲尔兹奖得主、3位诺贝尔奖得主、2位图灵奖得主、80余位中外院士、近千名国内外专家学者参会。大会将举办500余场学术报告及卫星会议，围绕数学、物理、信息科学和工程三大领域分享前沿成果，推动多学科协同创新。大会主席丘成桐致
“AI+教育”，复旦推出大语言模型助力新生报到
8月25日，是复旦大学本科生新生报到的日子。来自全国各地和全球40多个国家的4300余名2024级本科新生，开启了在复旦的求学生涯。新生报道现场。为帮助来自世界各地的新同学尽快融入复旦大学，学校基于大语言模型，推出“复旦迎新助手”智能Agent。作为新生的贴心小帮手，大语言模型为新同学在迎新阶段提供
伟大数学家黎曼－有哪些不为人知的故事？
随着菲尔兹和阿贝尔奖双料得主迈克尔·阿蒂亚爵士宣称自己证明了黎曼猜想，黎曼的名字和他的世纪猜想再次回到公众的讨论之中。然而，黎曼，除了他的猜想，还有一些故事也是非常值得我们去了解的。黎曼，拍摄于1863年。图片来源：sil.si 对于一个非数学专业的人而言，要问他所听说过的伟大的数学家有哪些？我想
伟大数学家黎曼－有哪些不为人知的故事？
随着菲尔兹和阿贝尔奖双料得主迈克尔·阿蒂亚爵士宣称自己证明了黎曼猜想，黎曼的名字和他的世纪猜想再次回到公众的讨论之中。然而，黎曼，除了他的猜想，还有一些故事也是非常值得我们去了解的。黎曼，拍摄于1863年。图片来源：sil.si 对于一个非数学专业的人而言，要问他所听说过的伟大的数学家有哪些？我想
日本发布大规模语言模型
科技日报讯 （记者李杨）东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。“Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对
AI语言模型“提速”药物发现
原文地址：http://news.sciencenet.cn/htmlnews/2023/6/502762.shtm美国麻省理工学院和塔夫茨大学研究人员设计出一种基于大型语言模型（如ChatGPT）的人工智能算法，这种称为ConPLex的新模型可将目标蛋白与潜在的药物分子相匹配，而无需执行计算分子结
日本发布大规模语言模型
东京工业大学、日本理化学研究所及富士通公司等近日宣布，利用超级计算机“富岳”，他们开发的大规模语言模型“Fugaku-LLM”正式发布。 “Fugaku-LLM”是首个完全由日本国产技术构建的AI语言模型，其在处理日语及相关文化内容上表现卓越。模型特别擅长基于日语敬语进行自然对话，并展现出在人
中英数学家破解丘成桐猜想－三代师生共接力半个世纪
中科大数学院教授陈秀雄和英国数学家、菲尔兹奖得主唐纳森，以及英国帝国理工大学博士后孙崧合作，近期在国际几何分析领域取得重大突破，成功解决了第一陈类为正时的“丘成桐猜想”，最终给出了卡勒—爱因斯坦度量的存在性之丘成桐猜想的完整证明。 为解释万有引力的本质，爱因斯坦于1916年创立广义相对论，并试
东北大学研究团队发布TechGPT2.0大语言模型
近日，计算机科学与工程学院任飞亮副教授主持的“东北大学知识图谱研究组”发布了大语言模型TechGPT2.0。TechGPT-2.0在继承了TechGPT-1.0全部特性的同时，通过增加多领域、多任务的数据，展现出了嵌套实体的抽取、幻觉回答、回答不可回答问题和回答长文本问题的能力。这些改进使得模型更适
东北大学研究团队发布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
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
30岁就被学界内定：这位天才有望统一代数与几何
当小明的年龄是小红的两倍时，他正好跟小刚同年，那么当小刚的年龄是小明现在的两倍时，小红会是现在的自己年龄的几倍？ 或者试试这个问题：两名农场主同时继承了一块正方形土地，其中包含了一片圆形耕地。在不知道土地和耕地具体尺寸，或者不知道圆形耕地具体位置的前提下，如何用一条直线将两者精确地一分为二？
首个种业大语言模型“丰登”发布
4月28日，中国农业大学生物学院教授王喜庆团队联合上海人工智能实验室、崖州湾国家实验室发布首个种业大语言模型“丰登”（SeedLLM）。种业大语言模型“丰登”。中国农业大学供图“丰登”集成了先进的人工智能技术（书生·浦语2.0）与大数据分析，通过深入学习我国迄今发布的科研文献、科技书籍、种企报告和历
清华团队与合作者推出大语言模型RealSafeR1
2月23日，清华大学与瑞莱智慧联合团队推出大语言模型RealSafe-R1。研发团队代表介绍说，实验数据表明RealSafe-R1安全性提升显著，“安全增强版DeepSeek”可为更多应用提供可靠坚实基座。连日来，国产开源大模型DeepSeek的优异表现备受关注，其在自然语言处理和多任务推理方面的能
浅谈遗传诊断的反例
在精准医学的框架中，基因诊断是临床诊疗的环节之一。跟其它的诊断检测一样，它自有其标准，马虎仓促的诊断不但贻误病情，严重的状况就是草菅人命。今年9月15日，诸大美国媒体机构报道了LabCorp诊断公司与Wuth一家的5000万美金的诉讼官司。尽管这一诉讼似乎已经尘埃落定，但对于我们诊断咨询界，却似乎不
Keynote－Speaker:－Emmanuelle－Claude
Emmanuelle Claude Miss Emmanuelle Claude (Master in Fine Chemistry and Business and P.Phil in spectroscopy analysis in organic chemistry and biology)
微调大语言模型，科学家开发化学文本挖掘新方法
6月7日，中国科学院上海药物研究所研究员郑明月课题组在五项化学文本挖掘任务上对多个大语言模型的能力进行了全面综合的探究，展现了微调大语言模型成为一种通用高效的生成式文本挖掘方法，为大模型的落地应用提供参考。相关研究发表于《化学科学》。 近两年，以ChatGPT为代表的大语言模型（LLM）引领了人工智
日本将开发更强日语能力的“大语言模型”人工智能技术
据共同社消息，日本东北大学和日本东京工业大学等团队计划开发一种更强日语能力的“大语言模型”，作为生成式人工智能（AI）的基础技术。该团队将利用理化学研究所的超级计算机“富岳”学习大量数据，并将在本年度内逐步公开。这一技术的开发将使国内企业和研究人员能够为自己的公司的服务或研究而自行改良。生成式AI可