陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?
OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
数据中心装不下AI野心:马斯克造芯、微软回归PC终端
马斯克确认特斯拉与SpaceX自建Terafab芯片制造设施,微软则联合英伟达推出Surface Laptop Ultra与Windows混合智能方案。一个往上游造厂,一个把算力拉回个人电脑,指向同一个问题:AI算力由谁生产、在哪里运行、成本谁来承担。
孙正义再掀AI豪赌:软银被曝寻求向海湾投资者募资至多1000亿美元
据外媒报道,软银创始人孙正义正寻求向海湾地区投资者募资至多1000亿美元,用于扩大AI投资。新资金拟设立基金,先收购企业再以AI改造经营,Roze或扮演关键角色,而OpenAI推迟IPO与软银股价回撤也让外界关注其投资敞口。
《明日方舟:终末地》确认支持英伟达 RTX Spark 笔记本,「丹青渡」版本前瞻放出硬件信号
鹰角网络在《明日方舟:终末地》「丹青渡」版本前瞻视频中确认,本作将支持搭载英伟达 RTX Spark 处理器的笔记本。RTX Spark 于今年 6 月台北国际电脑展发布,首批机型今秋上市。
可灵筹备港股独立上市,快手股东面临更难的估值选择题
快手 AI 视频业务可灵已启动港股 IPO 筹备,募资规模或达 10 亿美元。可灵季度收入同比增长超 200%,而母公司增速仅 1.4%,分拆上市将两套股东的估值选择摆上台面。