陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗?
OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。
腾讯阿里字节DeepSeek密集融资:借来的时间,最终要由AI订单偿还
腾讯被曝拟发最高50亿美元离岸债券,阿里配售800亿港元、字节签下296亿美元银团贷款、DeepSeek新一轮融资或近千亿。不缺钱的公司为何排队借钱?四笔合计约560亿美元,买下的是时间与产能。
Manus母公司蝴蝶效应完成超5亿美元融资,腾讯、红杉中国继续加持
Manus母公司蝴蝶效应宣布完成超5亿美元新一轮融资,博裕投资、IDG资本领投,腾讯、红杉中国、真格基金继续加持。公司刚于9月完成与Meta的分拆并恢复独立运营。
G3033奎独库高速关键隧道进洞施工,天山南北有望全年全天候通行
10月9日,G3033奎独库高速克扎依、玉希莫勒盖两座15公里级特长隧道顺利进洞,主体施工启动。全线建成后,天山南北通行时间有望从约14小时压缩至4小时。
AI旅游攻略走红黄金周:热度飙升,落地为何频频踩雷
“请3休13”黄金周里,AI旅游攻略成为新入口,飞猪、美团、同程使用量上涨。但数据延迟、供给未打通和支付权限三道门槛,让AI仍难独立完成交易。