RecodeX 重构消息，我们分享了AI模型对First Proof数学挑战的证明尝试，测试其在专家级问题上的研究级推理能力。
我们分享了AI模型对First Proof数学挑战的证明尝试，测试其在专家级问题...
原始信息来源openai.comopenai.com
查看原文 ↗更多快讯
查看全部 →Memecoin
Four.meme 发射播报：每小时约 1421 个新币，1/30 有首笔成交
RecodeX 重构消息，BSC 链 Four.meme 平台最近 1 分钟内新发射 30 个代币，折合每小时约 1421 个，其中 1 个已产生成交、其余尚无买单。成交靠前的有 Quoin（$QUOIN）（首小时成交约 0 美元）。新发射代币绝大多数在数小时内归零，本条为聚合信号播报，不构成任何投资建议。
融资
Kos完成1200万美元融资，为AI数据中心提供财务流程自动化
RecodeX 重构消息，Kos宣布完成1200万美元融资，资金来自今年4月的这轮融资。该公司提供虚拟财务员工服务，用于处理发票、采购订单和贷款提款等文书流程。Kos本身并不建设数据中心，其业务聚焦于美国AI数据中心背后的财务与行政自动化。
股市
苹果股价创收盘新高339.64美元，Siri AI与iPhone Duo获市场认可
RecodeX 重构消息，苹果股价周一收于339.64美元，刷新历史收盘纪录，超过此前338.49美元的高点。市场对改进后的Siri AI表现以及公司对iPhone Duo的投入给予积极回应。今年5月，苹果股价曾两度创下新高并突破300美元关口。此后John Ternus接替Tim Cook出任CEO，公司也陆续推出新…
人工智能
罗马AI实验室Paradigma发布10亿参数数学推理模型Limite
RecodeX 重构消息，罗马AI实验室Paradigma发布其首个模型Limite，参数规模为10亿，主打高吞吐量数学推理。该模型从训练到发布仅用六周时间，团队同时开源了模型权重、基础模型以及vLLM推理服务代码，均采用Apache 2.0许可。
科技
ViaSat-3 F2卫星投入服务，Viasat高容量三星组网完成
RecodeX 重构消息，Viasat宣布，ViaSat-3星座的最后一颗卫星已于上周晚些时候正式投入服务，至此该高容量三星组网部署完成。该卫星为ViaSat-3 F2，实际上是三颗中第二颗发射的卫星。
地缘局势
立陶宛称不应放松对白俄罗斯制裁立场
RecodeX 重构消息，立陶宛方面表示，当前不是放松对白俄罗斯立场的时机，主张继续维持现有压力。该表态出现在欧盟内部就相关制裁与政策取向进行讨论之际。