陶哲轩呼吁AI数学研究放慢速度,OpenAI成立数学与人工智能顾问小组
陶哲轩在SAIR演讲中呼吁模型公司放慢AI数学研究速度,指出AI加速生成和形式化验证证明,但理解、同行评审与知识传播跟不上,可能造成“证明消化不良”。他还警告,大量人类无法理解的AI证明可能削弱数学探索并污染后续训练数据。面对25位菲尔兹奖得主联名公开信,OpenAI宣布在普林斯顿高等研究院设立数学与人工智能顾问小组,协助审查和传播研究成果。
外媒与科技媒体长文、研究号文章
陶哲轩在SAIR演讲中呼吁模型公司放慢AI数学研究速度,指出AI加速生成和形式化验证证明,但理解、同行评审与知识传播跟不上,可能造成“证明消化不良”。他还警告,大量人类无法理解的AI证明可能削弱数学探索并污染后续训练数据。面对25位菲尔兹奖得主联名公开信,OpenAI宣布在普林斯顿高等研究院设立数学与人工智能顾问小组,协助审查和传播研究成果。
Human employees — for the most part — improve their skills the longer they're in a workplace. The same can't be said about AI agent employees.
For the ranking, we analyzed more than 10 million data points and zeroed in on the 15 most predictive metrics, each robust and correlated with future revenue growth, to produce BCG’s Vitality Score.
美国最高法院受理Suncor Energy (U.S.A.), Inc. v. County Commissioners of Boulder County案,审议联邦法律是否阻止州和地方政府依据本地法律起诉石油公司并追究气候损害责任。
Stocks are not expensive in an historical context, seasonal factors are supportive and Goldman Sachs hedge fund research forecasts a record high for the S&P 500 before year-end.
Risk comes in many forms, even with “safe” investments.
November’s midterms bring parallels with a moment in October 1988. But Pinochet’s exit wasn’t the end of his influenceA malignant, monomaniacal president, deeply unpopular, faces an election that could restrict his power and end his domination of his country.It is true that, to influence the outcome
Military families say Trump officials ‘owe us an apology’ after disparaging remarks by JD Vance, Pete Hegseth and othersOn the morning of 11 September 2001, Perry Chalmers was running drills for the Royal Canadian Regiment’s specialised mortar platoon in New Brunswick when he heard the news: America
The dangerous idea driving today’s wars of choice.
AI提升了个人工作效率,但个人层面的生产力增长尚未转化为企业收益。调查显示,8成专业人士认为AI提升了工作效率,但仅37%的受访者能将AI与所在组织的EBIT影响关联起来;另有56%的受访CEO表示,过去一年AI既未带来更高收入,也未降低成本。
Business Insider 以用户经历和乌克兰战场通信为例,介绍 Starlink 在马斯克商业版图中的作用。报道称,Starlink 服务覆盖 167 个以上国家的 1300 万人,贡献 SpaceX 去年 186 亿美元收入的 60% 以上,也是其唯一实现盈利的业务;SpaceX 计划未来发射数万颗卫星,拓展市场。
特朗普政府新成立的“超级智能”工作组将在120天内开展工作,协调政府分散的AI事务并向总统提出建议。工作组成员对监管与模型开发的取向存在分歧,Scott Kupor称监管可能由不同联邦机构分担;报道还提到,政府正依靠企业自律、第三方审计和向公司董事会直接报告来管理风险。
Shanti Kelemen, co-chief investment officer at 7IM, discusses the outlook for European stocks, stating that strong corporate earnings remain the market's main support. "I think the levels right now are probably close to as good as it gets. But the thing is that even though there are some sectors tha
When Brian Daniel, the founder of a Los Angeles-based staffing agency, recently posted what he describes as a “high-paying remote job,” he saw firsthand just how tough the labor market had become for job seekers. “We get between 500 and 1,000 applicants for every open position,” he says. But this jo
As the combined revenues of Europe’s largest companies hit a record high, the continent’s CEOs must navigate a new business landscape shaped by AI, geopolitics, climate change, and intensifying global competition.
Oura 在原定 IPO 定价前数小时宣布暂缓上市,称原因是 IPO 市场不确定性;华尔街人士则质疑其估值、发行结构及市场状况。公司拟以每股 40 至 44 美元发行 5000 万股,按中间价计算募资约 21 亿美元,其中 3650 万股由现有股东出售;文章还指出,Apple Watch、Google、Garmin、Fitbit 和 Whoop 均覆盖相关健康追踪用户。
Campaign groups report surge in membership after a spate of AI safety alerts and apocalyptic warningsIn a bar below Waterloo Bridge, a cell of a fast-growing anti-AI protest movement met last week to plot their latest move: disrupting a tech industry dinner being addressed by a senior executive from
"Insight with Haslinda Amin" is a daily news program featuring in-depth, high-profile interviews and analysis to give viewers the complete picture on the stories that matter. The show features prominent leaders spanning the worlds of business, finance, politics and culture. (Source: Bloomberg)
Things are fine until they’re not
During a joint parliamentary hearing on artificial intelligence, Anthropic’s head of safeguards, Dave Orr, says that investigations of hundreds of millions of transcripts reveal no unauthorised interactions with Australian government systems. However, Orr acknowledges Anthropic has limited visibilit
Quantitative hedge funds have captured big trends in bonds and oil to outperform the stock market this year.
成果看起来越完整,剩下的工作越容易被误解为拖延。
苹果新任CEO特努斯正推动工业设计和人机界面设计回到公司核心决策层,相关最高决策将由他亲自执掌。工业设计负责人莫莉·安德森和人机界面设计负责人史蒂夫·勒梅将直接向他汇报,他也每周多次到访设计团队。文章认为,重建设计优先的组织共识并平衡创意、成本、供应链与量产要求,将是这一调整面临的挑战。
文章比较梅林的燃气发生器循环与猛禽的全流量分级燃烧循环,说明两者在涡轮驱动、热负荷和系统复杂度上的差异。文中列举中国多个全流量补燃项目的试车与规划进展,并指出循环方案确定不等于飞行可靠性、寿命和批量制造能力成熟。文章还提到,2026年9月28日星舰第14飞完成26颗星链V3部署,但部分猛禽提前关机,SpaceX将原定10小时的在轨飞行缩短至约3小时8分。
Economists do not see a future without jobs, but they do see scope for rapid, disruptive change in the nature of work
Private equity’s role in consolidating the sector is raising the stakes, making partnerships less sustainable
Richard Parker says mandate for 80% of all new vehicles sold by end of decade to be all-electric will damage carmakers and suppliers
文章梳理了工厂现场要求如何影响人形机器人的设计、任务选择与交付服务。Figure 02曾在宝马美国斯帕坦堡工厂运行超过1250小时,为9万多个零件完成上料;故障记录显示前臂是常见硬件故障部位,Figure 03据此重做腕部电子架构。
IT之家 10 月 6 日消息,微软于 2021 年 10 月 5 日正式发布 Windows 11 系统,距今(2026 年 10 月 5 日)已满 5 周年,全球用户规模已突破 10 亿大关。在适配升级方面,微软 Windows 11 系统只用了 1,576 天,就解锁 10 亿用户规模里程碑。IT之家注:Windows 10 系统用了 1,706 天,微软 Windows 11 系统提前 130 天(约 4 个月)解锁该成就,时间缩短约 7.62%。在演进路线方面,Windows 11 上线初期,被不少用户诟病为“UI 焕新但功能倒退”,尤其是任务栏 / 开始菜单功能缺失、右键菜单简化导
桥水基金创始人 Ray Dalio 表示,美国未来三年内可能发生债务危机。
Manus恢复独立后推出Manus 2.0和个人Agent产品Cue,强化Agent持续运行、事件触发自动化与多Agent协作。Meta也在扩展Muse及其服务连接器,Manus面临生态竞争;其约40亿美元潜在估值还需由脱离Meta后的收入持续性和成本控制来支撑。
A Citigroup Inc. strategist sees Japanese government bond yields nearing their peaks and expects financial institutions to step up investments once the fiscal policy outlook becomes clearer.
Flagship high-speed rail project has been beset by delays, cost overruns and tensions
随着闪存价格上涨,美光科技有望从中受益;而意法半导体似乎也将借助订单增加获得优势。本文将从技术面角度分析这两只股票。
胖东来模式很难复制!
钟薛高、统一和香飘飘分别通过调整定价、尝试零食量贩渠道和开设现制奶茶门店,探索品牌重启路径。钟薛高首批三款产品建议零售价为6.9元至7.9元;统一阿萨姆小奶茶茉莉抹茶新品售价3.9元,首发赵一鸣;截至2026年9月,香飘飘已开业及筹备的线下奶茶门店共9家。
微软、谷歌、亚马逊和Meta给出的2026年资本开支指引合计约7300亿美元,较2025年约4100亿美元增长约77%;文章对照约250亿美元的AI直接年收入,梳理市场对投资回报的追问。文中还列出五家公司的约1.65万亿美元表外义务,以及经营现金流、融资承诺和AI货币化等相关口径。
IT之家 10 月 6 日消息,萨姆 · 奥尔特曼(Sam Altman)表示,如果希望他和埃隆 · 马斯克能够开展合作,大家就必须接受一定程度上的纷争。“我认为有些时候,你就得狠狠回击霸凌者。”奥尔特曼在接受《名利场》的深度专访时说道,“而且我还觉得,埃隆和很多喜欢欺压别人的人一样,只会尊重敢于还手的对手。”据IT之家了解,奥尔特曼与马斯克曾经闹过一场众所周知的决裂,这件事已经被反复提起,同时也是多起法律纠纷的核心。二人之间的纠葛远非人工智能行业里唯一尚未平息的矛盾;如今,这层关系也成为全球头部人工智能企业试图就技术管控方向达成共识的时代背景。当下行业再次掀起对于人工智能安全问题的担忧,这位
高盛将台积电12个月目标价从3100新台币上调至3300新台币,并维持“买入”评级。高盛预计台积电2026年和2027年以美元计的营收分别同比增长42%和36.9%,毛利率分别为67.2%和67.5%;2027年和2028年资本支出预测分别上调至850亿美元和980亿美元。
They want stronger commitments to reduce the money AI super PACs push into the midterms.