OpenAI 于 10 月 6 日在 GitHub 上发布了一项 AI 数学研究,每个证明使用了 3 小时的计算资源。

aiwomeicuo2026-10-07 10:59:08
据 OpenAI 介绍,该公司于 10 月 6 日在 GitHub 上发布了其内部前沿模型的数学工作成果,其中包括多项证明的 Lean 形式化、推理摘要、计算资源估算以及问题尝试次数统计。平均而言,每项成果所使用的计算资源相当于 ChatGPT Pro 思考约三小时。OpenAI 表示,未来将继续添加更多形式化成果,探索符合其顾问组指南的社区托管替代方案,并资助研讨会和会议,帮助研究人员理解 AI 生成的数学成果。
尽管美国需求疲软,对冲基金转为持有比特币合约净多头仓位

据CryptoQuant数据,多年来首次,对冲基金在芝加哥商品交易所(CME)交易的比特币合约转为净多头。这一转变标志着一种持续多年的基差交易策略告一段落;正是该策略使这些杠杆基金在结构上保持净空头。不过,两项市场...

英国监管机构金融行为监管局(FCA)9 月 16 日对 FTX 发布未经授权的警告

英国监管机构金融行为监管局(FCA)9月16日对FTX发布未经授权的警告。FCA表示使用FTX服务的投资者将无法使用金融申诉专员服务或受到英国金融服务补偿计划(FSCS)的保护。...

津巴布韦要求加密公司向央行注册,500 美元初始费用

据路透社报道,津巴布韦于周五推出首批专门的加密货币监管规定,要求从事买入、卖出、转让或保管加密资产的公司每年向金融情报单位注册;金融情报单位是津巴布韦储备银行的反洗钱部门,或将面临潜在起诉。初次注册费...

美国纽约南区检察官办公室在 FTX 崩溃前数月就对其展开了调查

据彭博社报道,早在SBF的FTX崩溃前数月,美国纽约南区检察官办公室就以对其展开了全面调查。该调查是针对美国和离岸机构的加密货币平台进行全面检查,并深入调查了FTX的大规模交易业务,重点是是否遵守《银行保密法...

Shiba Inu 开发者:将推出稳定币 SHI 和奖励代币 TREAT,以及 Shiba 收藏卡片游戏

ShibaInu开发者ShytoshiKusama发文更新SHIB计划,将继续推进以BONE作为Gas费用的L2区块链:Shibarium,但尚未确定公开测试版日期;将在今年推出稳定币SHI;推出新的奖励代币TREAT,为元宇宙、Shiba收藏卡牌链游以及S...

上一篇:美国因获悉伊朗可能发动无人机袭击,从英国皇家空军费尔福德基地撤回了12架B-1轰炸机。
下一篇:Anthropic 首席执行官 Dario Amodei 去年的总薪酬为 $18M ,低于标普 500 指数成分股公司的平均水平。