菲尔兹奖得主谈「人工智能可能会杀死数学」,您如何看待这个问题?
在2026国际基础科学大会期间,菲尔兹奖得主马丁·海尔与邓煜就人工智能对数学研究的影响发表看法。海尔认为AI不会终结数学,而是会改变研究模式并提升部分效率,数学家将转向关注无法通过自动化解决的问题。邓煜则提到AI虽能生成长篇证明,但目前在处理其思考的开放性问题上帮助有限,并指出研究意义由问题本身决定,与AI参与度无关。
知乎 ·
热搜汇
在2026国际基础科学大会期间,菲尔兹奖得主马丁·海尔与邓煜就人工智能对数学研究的影响发表看法。海尔认为AI不会终结数学,而是会改变研究模式并提升部分效率,数学家将转向关注无法通过自动化解决的问题。邓煜则提到AI虽能生成长篇证明,但目前在处理其思考的开放性问题上帮助有限,并指出研究意义由问题本身决定,与AI参与度无关。
知乎 ·
♨ 42
索尼于2026年8月18日为《影之刃零》举办State of Play专场发布会,由制作人梁其伟与监制甄子丹详细介绍游戏剧情、世界观及战斗系统。该作是一款融合武侠与蒸汽机关等元素的“功夫朋克”动作角色扮演游戏,预定于2026年10月29日在PS5和PC平台发售,其中PS5平台将独占发售12个月。
知乎 ·
♨ 42
当前全球AI市场出现回调,引发关于AI泡沫破裂的广泛讨论。部分观点认为,AI投资呈现出2000年股市泡沫与2008年信贷泡沫的双重特征,涉及高杠杆融资与算力基建风险。尽管部分AI企业营收增长迅速,但其可持续性及真实需求受到质疑。分析指出,历史上的科技泡沫在最终破裂前常伴随多次回调,而当前的AI行情已出现类似波动。
知乎 ·
♨ 42
DeepSeek于8月13日开源了Agent运行时项目DeepSeek Harness(简称dsh),该项目主打“一切皆插件”理念,在GitHub上迅速走红。由于其开箱功能极少,用户需通过安装插件来补齐图片识别、文件读写等基础能力。目前社区已涌现大量插件,涵盖基础功能增强、体验优化及个性化皮肤等多种类型。
知乎 ·
♨ 42
2026年8月17日起,DeepSeek API正式执行调价方案,引入“峰谷定价”,其中DeepSeek-V4-Pro高峰时段缓存命中输入价格涨幅高达1100%。受此影响,第三方平台OpenCode Go同步调整了DeepSeek模型的使用额度,导致V4系列模型调用量锐减,月限额被削减至15美元。此次调价引发部分开发者与用户不满,部分用户表示将取消订阅或转向其他模型。
知乎 ·8月17日,宇树科技发布全新人形机器人“超人”,该机器人腿长0.85米,原地极限跳跃高度约2米,极限奔跑速度达12.66米/秒。官方表示该产品研发周期仅三个多月,目前处于快速迭代阶段。与此同时,宇树科技已于2026年8月10日启动科创板IPO申购,其人形机器人累计生产下线数量约18,000台。
快手热搜 ·
♨ 42
8月12日,蔚来与武汉光谷交通集团完成交割,武汉市全部36座蔚来换电站产权划归光谷交通集团持有。该案例实现了“国资持有资产+企业专业运营”模式在省会城市的整城落地,由国资持有资产,蔚来负责运维、调度及车主服务。目前,蔚来在全国25个省市与40余家国资平台合作共建换电站超800座。
知乎 ·
♨ 42
灵游坊研发的国产3A游戏《影之刃零》于8月12日同步开启多平台预购,迅速登上Steam全球畅销榜首位。该作定于2026年10月29日全球同步发售,登陆PC及PS5平台。游戏主打“功夫朋克”风格,由甄子丹担任创意监制。标准版售价268元,豪华版328元。目前该作在Steam愿望单数量已突破162万份。
知乎 ·
♨ 42
宇树科技(股票代码:688836)公布科创板发行结果,发行价格为150.80元/股,发行数量为4,044.6434万股。由于网上初步有效申购倍数约8,288.82倍,触发回拨机制,最终网上发行数量为970.70万股,中签率为0.01809759%。此外,37家保险机构合计获配网下发行数量的30.15%,获配金额达10.2992亿元。
抖音 ·
♨ 42
国家知识产权局披露,小米汽车科技有限公司获得一项名为《标志升降装置及车辆》的实用新型专利(授权公告号CN224617606U),授权公告日为2026年8月11日。该装置通过简化结构和减轻重量,旨在提高车辆的续航里程。该专利允许两个车标在车身表面轮流出现,可实现不同材质车标的切换,并可安装于机盖、前后保险杠及尾门等位置。
百度热搜 ·
♨ 42
宇树科技近日公布科创板上市网上中签结果,最终中签率约0.0181%,约为长鑫科技的1/26。此次申购吸引了978.46万户个人投资者参与。部分投资者在亏损或资金短缺的情况下借钱缴款以确保中签。目前宇树科技上市时间尚未公布,投资者对上市首日股价走势持不同预测。
百度热搜 ·宇树科技科创板IPO结果公布,网上中签率约0.0181%,创科创板历史新低。DeepSeek创始人梁文锋通过深度求索、宁波幻方量化及九章资产三个主体,累计获配119.16万股,总投资金额约1.799亿元。其中深度求索获战略配售93.34万股,锁定期36个月。双方已签署战略合作备忘录,将在通用人工智能、高性能通用机器人及AI大模型领域开展深度合作。
知乎 ·