RecodeX 重构消息,英伟达宣布对Thinking Machines Lab进行大规模投资并建立多年战略合作,将部署下一代Vera Rubin系统以支持其AI模型训练和平台发展。
更多快讯
查看全部 →Vals AI发布AI推导最短路径算法并给出Lean形式化证明
RecodeX 重构消息,Vals AI公布了一种由AI推导出的最短路径算法C-HD,并附带了Lean形式化证明。研究人员Geby Jaff指挥十个Claude智能体完成了该算法与证明的产出。该算法的运行时间优势仅适用于有限范围的图结构。
俄乌冲突24小时:双方互袭能源设施,美俄外长将在纽约会晤
RecodeX 重构消息,俄乌双方继续互袭能源与港口设施。乌克兰方面称打击了俄罗斯两处重要炼油设施,俄罗斯国防部称已打击乌克兰海上船只、港口基础设施及冶金、燃料和能源行业企业。俄方表示,乌无人机袭击致扎波罗热核电站辐射监测站受损,1人死亡、3人受伤;乌克兰国家石油天然气公司称,俄军夜间用弹道导弹袭击波尔塔瓦州一处油气设…
纽约岛人队联合老板Jon Ledecky到访长岛大学并获授冰球队荣誉队长
RecodeX 重构消息,长岛大学9月22日在布鲁克维尔校区接待纽约岛人队联合老板Jon Ledecky,作为该校百年CEO演讲系列活动的一环。活动吸引数百名长岛大学学生到场,Ledecky围绕领导力与职业发展等话题与学生交流。校方同时授予其长岛大学冰球队“荣誉队长”称号。
苹果将新款Mac宣传为AI机器 强调无需按token付费
RecodeX 重构消息,苹果在新款Mac的宣传中将其定位为面向AI任务的设备,并突出用户无需按token付费即可使用相关AI功能。这一卖点与当前多数云端AI服务按调用量计费的模式形成对比,苹果借此强调本地端侧AI的成本优势。
美国国会推动将美国穆斯林活动组织列为外国恐怖组织
RecodeX 重构消息,美国国会正推动一项立法动议,拟将美国伊斯兰关系委员会(CAIR)等美国穆斯林活动组织列为外国恐怖组织。得克萨斯州此前已将CAIR认定为恐怖组织,多个外国政府也采取类似立场。相关立法程序仍在推进中。
Four.meme 发射播报:每小时约 1714 个新币,1/30 有首笔成交
RecodeX 重构消息,BSC 链 Four.meme 平台最近 1 分钟内新发射 30 个代币,折合每小时约 1714 个,其中 1 个已产生成交、其余尚无买单。成交靠前的有 MUSE BUTT TOKEN($MUSEBUTT)(首小时成交约 0 美元)。新发射代币绝大多数在数小时内归零,本条为聚合信号播报,不构成…