助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工具已经帮助数学家创建新的理论并解决棘手的问题，它们正以超越单纯计算的方式改变数学领域。 ? 图片来源：《自然》网站 “热度”空前 加拿大蒙特利尔大学的数字理论家安德鲁·格兰维尔表示：“我们正在研究一个非常具体的问题：机器会改变数学吗？” 不久前，在加州大学洛杉矶分校举行的一个研讨会探讨了这个问题，该研讨会旨在为数学家和计算机科学家之间架起桥梁。 2018年菲尔兹奖获得者、普林斯顿高等研究所的阿克谢·文卡特什......阅读全文
ChatGPT的拷问：何为AI伦理、AI治理
前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各界关注与担忧。近年来，不少关于人工智能（AI），并和人类生产、生活关系紧密的议题被广泛讨论，诸如“如何应对AI可能对社会产生
ChatGPT的拷问：何为AI伦理、AI治理
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494707.shtm 前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各
ChatGPT火了！国内AI风往哪儿吹
ChatGPT概念股火了！ 连日来，美国人工智能（AI）实验室OpenAI发布的聊天机器人ChatGPT火爆全网，并带动了相关概念股的上涨。 在A股市场，资本大举炒作ChatGPT概念股，部分概念股出现五连板的走势。百度宣布将推出中国版的ChatGPT项目——文心一言（英文名ERNIE Bo
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
ChatGPT之父：要保证对AI的决策权
OpenAI联合创始人公开谈论公司上市、AI发展、AI监管等话题。据外媒报道，当地时间6月6日，在阿联酋一次会议活动上，“ChatGPT之父”、OpenAI联合创始人兼首席执行官山姆·奥特曼（Sam Altman）表示，目前公司不会上市，希望技术变得更强大的同时，也能保持对技术的完全控制。“我不想被
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
ChatGPT爆火，生成式AI意味着什么？
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494048.shtm
港大禁用ChatGPT等AI工具－为全港首例
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494095.shtm 中新社香港2月18日电 (记者 韩星童)由美国人工智能公司OpenAI开发的语言模型ChatGPT推出后，引发关注及热议。香港大学日前向师生发出内部邮件，表明禁止在港大所有课堂、
港大禁用ChatGPT等AI工具－为全港首例
中新社香港2月18日电 (记者 韩星童)由美国人工智能公司OpenAI开发的语言模型ChatGPT推出后，引发关注及热议。香港大学日前向师生发出内部邮件，表明禁止在港大所有课堂、作业和评估中使用ChatGPT或其他AI工具，成为香港首间大学明文禁止在课堂等教学行为使用ChatGPT或其他人工智能工具
ChatGPT创始人呼吁加强对AI技术监管
原文地址：http://news.sciencenet.cn/htmlnews/2023/5/500782.shtm
数学家热议AI：AI非常强大，要善用并提高自身能力
8月10日，2026年国际基础科学大会“数学之夜”在北京雁栖湖应用数学研究院举办。清华大学讲席教授丘成桐、清华大学教授考切尔·比尔卡尔、法国国家科学研究中心教授克莱尔·瓦赞、美国哈佛大学教授姚鸿泽、美国普林斯顿大学教授张寿武等国内外顶尖数学家围绕人工智能（AI）对数学的影响展开深入探讨。 丘成
ChatGPT将变身AI语音助手？挑战Siri和谷歌语音助手
新品发布在即，奥特曼的最新表态或暗示OpenAI意在人工智能语音助手。当地时间5月11日，人工智能（AI）巨头OpenAI CEO山姆·奥特曼（Sam Altman）在一档播客节目中称，OpenAI将继续改进并提升ChatGPT的语音功能质量，并表示相信语音交互是通向未来交互方式的一个重要途径。奥特
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
AI数学个性化辅导取得重大进展
慕尼黑工业大学（TUM）与科隆大学的研究人员开发出一套基于AI的学习系统：它用普通摄像头追踪眼球运动，识别学生在数学上的优势与薄弱点，并自动生成解题提示。这让教师得以同时为一大批孩子提供个性化支持，在师资短缺的背景下尤具价值。这一AI数学个性化辅导系统，已在德国一所中学落地应用。 案例
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
AI辅助学习正成为新风口
在伊利诺伊大学厄巴纳-香槟分校（UIUC）的一门本科控制工程学期课程中，研究生 Gokul Puthumanaillam 与其导师 Melkior Ornik 做了一项特别实验：假设学生一定会用 ChatGPT 写作业，那么免费的 ChatGPT 到底能和真人学生比得怎样？结果发人深省——C
盖茨谈ChatGPT：能提高效率但要考虑边界
比尔·盖茨一直对AI（人工智能）青睐有加，多次将其比作可与计算机、互联网比肩的新技术。 当地时间2月6日，据《福布斯》报道，盖茨在接受专访时表示，聊天机器人ChatGPT以及AI领域的进展令人激动，AI将是“2023年最热门的话题”。盖茨认为，在教育、医疗等方面，AI都将彰显其价值。 公开资
ChatGPT论文通过图灵测试：是AI太聪明，还是学界太灌水？
去年12月的一项实验里，审稿人尝试鉴别出那些混藏在学术文献中的“AI文本”，但是竟然有三分之一的AI论文成功蒙混过关。这使人警惕，AI论文是否会成为论文造假的新工具？另一方面，人们也对同行评议制度的有效性、学术文献的同质性产生了担忧，学界是否是灌水太严重了，才会让AI模仿的门槛如此之低？ChatGP
ChatGPT之父作证：AI可能对世界造成重大伤害，必须监管
OpenAI首席执行官山姆·奥特曼说，“我认为，如果这项技术出了问题，它可能会大错特错”，“鉴于我们明年将面临选举，而这些模型正在变得更好，我认为这是一个值得关注的重要领域”。·参议员迪克·杜宾表示，大公司来到参议院“恳求我们对其进行监管”是很了不起的。当地时间5月16日，OpenAI首席执行官山姆
ChatGPT之父：未来10年内，我们可能拥有超强AI系统
随着ChatGPT风靡全球，全球人工智能掀起了新一轮发展热潮。6月10日，在北京智源大会上，ChatGPT之父、OpenAI联合创始人萨姆·奥特曼表示，在未来的10年内，可能会拥有超强的AI系统，应该为此做好准备。萨姆·奥特曼 视觉中国 资料图在“AI安全与对齐”论坛上，萨姆·奥特曼进行了开场主题演
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
ChatGPT写作业水平超过大学生
《科学报告》8月24日发表的一篇论文指出，回答包括计算机科学、政治学、工程学和心理学在内的多学科评估性问题时，ChatGPT可能达到甚至超出了大学生的平均成绩。这项研究还发现，近3/4的受访学生说可能会用ChatGPT帮助写作业，但许多教育者认为使用ChatGPT是一种抄袭。为调查ChatGPT在写
上海发布“书生·浦语”大模型：评测表现优秀
“书生·浦语”联合团队选取了20余项评测对其进行检验，其中包含全球最具影响力的四个综合性考试评测集，对“书生·浦语”、清华大学的GLM-130B、Meta的LLaMA-65B、OpenAI的ChatGPT和GPT-4进行了全面测试。6月7日，上海人工智能实验室（上海AI实验室）、商汤科技联合香港中文
Opera推出由OpenAI的ChatGPT支持的新的集成AI侧边栏
Opera今天宣布，它将在其浏览器中引入一个名为"Aria"的人工智能侧边栏，该侧边栏由OpenAI的ChatGPT驱动。该公司表示，Aria既是一个网络专家，也是一个浏览器专家，它使你更容易在网络上找到信息，生成文本或代码，或得到你的产品查询的答案。这项新功能目前可以进行测试。 Aria还能
不愿再错失AI热潮！从政府到企业－日本争议中“拥抱”ChatGPT
在试运行了41天后，日本神奈川县的横须贺市决定做“第一个吃螃蟹的人”。据日媒报道，日本神奈川县政府率先在行政工作中开始使用ChatGPT，由此成为日本首个使用ChatGPT的政府部门。在此前开始的试运行中，横须贺市政府约4000名公务员尝试使用 ChatGPT进行“会议记录”、“政策制定”等公务，以