能解国际奥数竞赛题的AI系统问世
《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能（AI）系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。 奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据，让计算机学习如何执行特定任务。但由于作为训练数据的人类示范很少，所以定理证明，尤其是几何学定理很难被证明。 谷歌“深度思维”团队此次描述了一种不需要人类示范的定理证明方法。基于这一方法的AI系统名为“阿尔法几何”（G0）。它综合了复杂程度各异的数百万条定理和证明，并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎（能搜索难题中的大量分支点），能让G0在无需人类直接输入的情况下学习并解开复杂问题。 团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题......阅读全文
能解国际奥数竞赛题的AI系统问世
《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能（AI）系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。 奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系
谷歌研究登《自然》：AI几何能力接近奥数金牌
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/516327.shtm
为数实融合插上－AI“翅膀”
在近日举行的2023施耐德创新峰会上，首届施耐德电气“AI大施杯”算法大赛颁奖仪式举行，“AI大施杯”十强及人气奖战队受邀出席。 “AI大施杯”算法大赛于2023年3月正式启动，是施耐德电气致力于通过AI等数字技术进一步提升生产力与效率的举措之一，旨在通过激励更多开发者挖掘产业低碳、高效发展的
亚马逊云计算CEO承诺“重大”的AI产品更新：AI是永无终点的竞赛
12月3日消息，亚马逊云计算部门新任首席执行官马特·加曼（Matt Garman）表示，人工智能是一场没有终点的竞赛。“这是一项非常重要的技术，“加曼说。“它将永远持续下去。”今年6月成为Amazon Web Services（AWS）首席执行官的加曼即将在亚马逊年度大会re:Invent上发表他上
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
AI教育风潮席卷中国高校－学生用AI学AI
“What does this machine do(这台机器是干什么的)？”4日下午，西南交通大学孟加拉国留学生Zahidul Alam拍下身前吊弦疲劳试验仪器的照片。收到他的语音提问后，手机中的24小时在线“AI学伴”瞬间给出如论文般详细的英文回答。 这是西南交大首门人工智能通识课的第一课
用AI识别AI：西湖大学研究可检测AI生成文本
虚假新闻、恶意产品评论、剽窃……ChatGPT、 GPT-4等AI大语言模型的应用带来便利，但其误用也带来一系列问题。西湖大学工学院张岳教授的“文本智能实验室”日前发布的一项研究提出一种高准确率、高速、低成本、通用的新文本检测方法——Fast-DetectGPT，无需训练即可识别各种AI大语言模型生
生成式AI能否赢得下一场企业技术竞赛
原文地址：http://news.sciencenet.cn/htmlnews/2023/8/507563.shtm
ChatGPT的拷问：何为AI伦理、AI治理
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494707.shtm 前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各
ChatGPT的拷问：何为AI伦理、AI治理
前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各界关注与担忧。近年来，不少关于人工智能（AI），并和人类生产、生活关系紧密的议题被广泛讨论，诸如“如何应对AI可能对社会产生
“AI+”时代－|－AI“解码”免疫系统
人体免疫系统包含了很多有关身体健康的信息，其中的关键部分就包含在血液中。医学界提出了一个大胆设想：通过创建一个万能的血液测试，采集免疫系统与病原体之间的反应信息，绘制“免疫图谱”，从而解码免疫系统中的信息，及时在疾病恶化前筛查确诊。那么，什么样的平台能提供足够的计算力，不断通过机器学习和精准模型
AI“参谋”来了！中关村AI新药研发平台落成
12月19日，由中关村生命科学园与角井（北京）生物技术有限公司共同发起建设的中关村AI新药研发平台在北京中关村生命科学园举行落成典礼。该平台于2020年12月开始筹建，旨在利用人工智能技术帮助制药企业快速进行药物靶点发现和筛选、药物作用机制探索、特异性抗体优化等工作，成为生物医药企业新药研发的
为什么越使用AI，越活得像个AI
生成式人工智能（AIGC）在重塑生产力的同时，也给高等教育领域带来了颠覆性变革。然而，它所具有的“技术双面性”很可能引发“流利但不真实”“道德偏见”“技术依赖”等问题，这将影响高等教育场景。2023年初，全球多所高校陆续出台政策禁止学生使用生成式AI，但越来越多的大学开始意识到生成式AI势不可挡，单
用AI数据训练AI可能最终导致崩溃
《自然》7月24日发表的一篇论文指出，用人工智能（AI）生成的数据集训练未来几代机器学习模型可能会污染它们的输出，这个概念称为“模型崩溃”（model collapse）。该研究显示，原始内容会在数代内变成不相关的胡言乱语，显示出使用可靠数据训练AI模型的重要性。 生成式AI工具越来越受欢迎，
用AI数据训练AI可能最终导致崩溃
《自然》7月24日发表的一篇论文指出，用人工智能（AI）生成的数据集训练未来几代机器学习模型可能会污染它们的输出，这个概念称为“模型崩溃”（model collapse）。该研究显示，原始内容会在数代内变成不相关的胡言乱语，显示出使用可靠数据训练AI模型的重要性。生成式AI工具越来越受欢迎，如大语言
南方电网2024年生产域AI算法应用竞赛举行
近日，南方电网2024年生产域AI算法应用竞赛在深圳举行。来自全国科技企业、高校、电力企业的156支队伍同台竞技，48支队伍进入6月的决赛圈。记者获悉，这是全国首次举办的覆盖输电、变电、配电、安全管理等生产领域的人工智能大赛。本次竞赛突出“国产化、常态化、实战化”等特点，模型部署、训练全部基于国产人
火山引擎数智平台推出“AI助手”，助力智能科技发展
火山引擎数智平台日前推出“AI助手”，通过接入人工智能大模型，帮助企业提升数据处理和查询分析的效率。即使是不会写代码的运营人员，和大模型对话也能做好业务运营数据的取数、看数和归因分析。目前，相关数据产品已启动邀测。 数据资产的查询和开发，是数据消费的基础。以往，数据资产的检索和开发非常依赖专业
“AI+大数据”推动数据挖掘走向数智化治理
5月20日，阿里巴巴副总裁、阿里云计算平台负责人贾扬清在媒体沟通会上表示，经过近20年的发展，人们对大数据的利用已从早期的数据挖掘进化为集数据分析、数据管理、数据协同为一体的综合治理，在这一进程中，大数据与人工智能（AI）技术的融合居功甚伟。 贾扬清提到，数字经济迅猛发展，不断丰富、增长的数
亚马逊云推出AI代理功能，让AI成为助理
Amazon Bedrock的Agents（代理）功能将使公司能够构建可以自动执行特定任务的AI应用程序，例如预订餐厅，而不仅仅是得到去哪里吃饭的建议。 “很多人都如此聚焦于这些模型和模型的大小，但我认为真正重要的是如何利用它们构建应用，这也是今天发布代理（Agents）功能的一个重要原因。”
“氏无界·AI无疆”医疗AI成果转化行动启动
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/516109.shtm
“AI成龙”遇冷，AI数字人在影视业不灵？
影视业成为“粗制滥造”的标签 近日，影视巨星成龙主演、大量使用了人工智能（AI）数字人技术的电影《传说》登陆大荧幕，却遭遇了票房与口碑的双失利。截至7月20日，豆瓣评分5.3，上映10天累计票房不到8000万元。显然，“AI成龙”遭到了冷遇。“AI成龙”本是《传说》这部电影的卖点。据介绍，为了剧情需
用AI生成数据训练AI或导致模型崩溃
科技日报北京7月25日电 （记者张梦然）《自然》24日正式发表的一篇研究论文指出了一个人工智能（AI）严重问题：用AI生成的数据集训练未来几代机器学习模型，可能会严重“污染”它们的输出，这被称为“模型崩溃”。研究显示，原始内容会在9次迭代以后，变成不相关的“胡言乱语”（演示中一个建筑文本最终变成了野
未来智能社会什么样从AI到AI+
8月26日国发〔2025〕11号颁布了《国务院关于深入实施“人工智能 +”行动的意见》这一重要文件，其中特别强调“人机协同、跨界融合、共创分享的智能经济和智能社会新形态”，其核心就是要积极构建“人、机（ AI）与环境对齐的生态智能体系”，推动人工智能与经济社会各行业各领域广泛深度融合，重塑人类生产生
用AI生成数据训练AI或导致模型崩溃
《自然》24日正式发表的一篇研究论文指出了一个人工智能（AI）严重问题：用AI生成的数据集训练未来几代机器学习模型，可能会严重“污染”它们的输出，这被称为“模型崩溃”。研究显示，原始内容会在9次迭代以后，变成不相关的“胡言乱语”（演示中一个建筑文本最终变成了野兔的名字），这凸显出使用可靠数据训练
AI－耗电超出预期，未来－AI－进展或依赖能源突破
据 technews 报道，由于 AI 消耗电力将远远超出人们预期，OpenAI 执行长 Sam Altman 认为，未来 AI 发展需要寻求能源突破。Sam Altman在彭博社于达沃斯世界经济论坛（World Economic Forum）期间举行的座谈活动中谈道，对气候友善的能源，特别是核融合
AI也分级？清华教授推动全球首个AI《分级定义》
AI对话系统发展历程 高凯 摄 28日，由清华大学计算机教授、智能技术与系统实验室副主任黄民烈发起，联合了十余家科研机构、二十多位知名学者共同制定的全球首个《AI对话系统分级定义》(以下简称《分级定义》)正式发布，《分级定义》将推动AI对话系统在虚拟个人助理、智能家居、智能汽车(车载语音)、情
AI答题胜过真人
近日一项发表于《公共科学图书馆-综合》的研究发现94%的使用ChatGPT创建的大学考试答案，不会被检测出是由人工智能（AI）生成的，而且这些答案的得分往往比真实学生的更高。如今，人工智能（AI）技术的兴起和发展，如ChatGPT的诞生，对教育部门提出了一个根本性问题，即学校许多形式的评估，都是在没
AI答题胜过真人
近日一项发表于《公共科学图书馆-综合》的研究发现94%的使用ChatGPT创建的大学考试答案，不会被检测出是由人工智能（AI）生成的，而且这些答案的得分往往比真实学生的更高。如今，人工智能（AI）技术的兴起和发展，如ChatGPT的诞生，对教育部门提出了一个根本性问题，即学校许多形式的评估，都是在没
txyz.ai初探EAD奥义:－AI释读7600系统新进应用
SCIEX高分辨质谱 ZenoTOF® 7600 系统自2021年发布以来，各种学科的科学家利用其新型的电子活化解离(Electron Activated Dissociation, EAD)技术结合Molecule Profiler和Biologics Explorer等数据处理软件，在生物药、脂