【新智元导读】 Transformer解决了三体问题?Meta研究者发现,132年前的数学难题——发现全局李雅普诺夫函数,可以被Transformer解决了。「我们不认为Transformer是在推理...【查看原文】
P/NP猜想是千禧年七大数学难题之一。如今,MSRA北大北航等机构华人团队,通过97轮「苏格拉底式推理」,让GPT-4得出结论P≠NP。
GPT-4北大
新智元 2023-09-14
导读几个世纪以来,计算机(机器)一直是数学家的好朋友,他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现,机器被更具创新性和深度的方式得到运用。近日,在MSRI(美国数学科学研究所,现改名SLMath)四十周年庆典上,陶哲轩(Terence Tao)对机器辅助数学证明的历史和最新发展进行概述,并对数学中的机器辅助将扮演的未来角色进行预测。他表示:早期的计算机辅助的数学研究以女性为主,并衍生出了一个计算能力单位:“千女时”,一千个使用加法器的女性能
机器学习生成式AI
返朴科普 2023-08-31
ChatGPT,已经成为天才数学家陶哲轩的研究助手了!最近这些日子,陶哲轩对AI可是青眼有加,甚至在网上只谈论一个话题:AI,特别是大语言模型在数学研究中的应用。
ChatGPT
量子位 2023-03-11
·美国总统科技顾问委员会成立的生成式AI工作组旨在帮助评估人工智能领域的关键机遇和风险,并就尽可能确保公平、安全、负责地开发和部署这些技术向美国总统提供意见。华裔数学家、菲尔茨奖获得者陶哲轩。
生成式AI人工智能
澎湃新闻 2023-05-15
网友:“这种事情他没有助手吗?”
GPT-4
CSDN 2023-04-13
快科技10月29日消息,在今天的新品发布会上,小米正式发布了自带线充电宝10000165W,售价为199元。据介绍,这款充电宝内置4颗电芯,等效10000mAh电池能量,符合航空携带标准,可以带上飞机。支持120W小米澎湃有线秒充技术,能够匹配手机的最高充电功率,官方数据显示,使用这款充电宝为小米14Pro充电,仅需约18分钟便可充满。
驱动之家 16小时前
今天(29日),神舟十九号载人飞行任务航天员乘组正式和大家见面。1990年出生的航天员宋令东,2020年9月入选我国第三批航天员,从捍卫祖国长空到为国出征太空,他有着怎样的经历?
环球网 昨天
喜欢这个栏目,点这个支持!
IT之家 16小时前
10月29日,平治信息在互动平台表示,全资子公司与北京智谱华章科技有限公司签订战略合作协议,协议约定双方联合研究多模态具身大模型应用,探索深度学习、机器人、视觉语言的大模型融合,用大模型赋能大模型开发者,共同开拓MaaS市场。
每日经济新闻 18小时前
钛媒体App10月29日消息,马斯克表示,计划将人工智能初创公司XAI的规模扩大一倍。
钛媒体快报 18小时前
不应该只是简单的图文堆砌。在HarmonyOSNEXT下,华为浏览器正式推出「视界」频道,将这一美好愿景变为触手可及的现实。
砍柴网 18小时前
快科技10月29日消息,今天小米正式发布了新一代手表小米手表S4,定位千元档时尚长续航腕表,售价999元起。小米手表S4配备1.43英寸AMOLED屏,亮度提升至1500nit,峰值亮度2200nit,户外更清晰。新表升级到百变表圈2.0,提供5套风格,契合不同人群标签,配合休闲、旅行、户外、商务等多种不同场合穿搭。
快科技 17小时前
昨天上午,2024中国国际第二十八届小电机技术、磁性材料技术研讨会暨展览会在上海新国际博览中心开幕。本届展会为期3天,吸引了全球300多家企业参展,是国内外小电机制造商、生产设备制造商、测试设备制造商、零部件和材料供应商展示产品、交流技术、洽谈合作和开拓市场的重要平台。市人大常委会副主任张全出席开幕式。
金台资讯 22小时前
雷递网乐天10月29日小米集团今日召开发布会。小米CEO雷军今日在会场透露,小米汽车上市第3个月,交付就突破10000台,截至目前,10月单月交付量已完成20000台,预计十一月提前完成全年10万辆交付目标。“交付持续提速,是我们的承诺。”雷军说,小米汽车城市NOA全国都能开,10月30日将开启全量推送。
雷递 19小时前
【CNMO科技新闻】继昨日推出全新的iMac后,苹果在今天晚间再次带来了全新的Macmini。2024款Macmini经过重新设计,强大性能全部容纳在12.7厘米见方的小巧身躯中,同时搭载M4以及最新的M4Pro芯片,带来领先的性能表现。
手机中国 17小时前
Copyright © 2024 aigcdaily.cn 北京智识时代科技有限公司 版权所有 京ICP备2023006237号-1