RecodeX 重构消息，初创公司Physical Superintelligence表示，其AI系统已证明Aaronson-Ambainis猜想。该完整论证在其基础设施上运行至第三天时，被Lean证明助手接受。
Physical Superintelligence称AI用Lean证明Aaronson-Ambainis猜想
AI 辅助判断积极AI 看多仅供信息参考，不构成投资建议
原始信息来源Siliconreportsiliconreport.com
查看原文 ↗更多快讯
查看全部 →加密货币
希腊议会通过加密货币税收框架：资本利得税10%，质押与DeFi收入税15%
RecodeX 重构消息，希腊议会通过一项全面的加密货币税收框架，对数字资产资本利得征收10%的税，并对质押、借贷及去中心化金融（DeFi）所得收入单独征收15%的税。这是希腊首次对数字资产建立系统性征税办法。该法案于11月5日（周四）获批，将正式生效。
加密货币
莫斯科交易所拟推数字资产交易 每经纪商年度上限30万卢布
RecodeX 重构消息，莫斯科交易所计划在其股票市场平台分阶段试点数字资产交易，由国家清算中心负责清算。散户投资者须通过测试后方可参与，每个经纪商的年度交易上限为30万卢布。
加密货币
Tether CEO称比特币闪电网络可支撑万亿级AI代理
RecodeX 重构消息，Tether首席执行官Paolo Ardoino表示，比特币闪电网络有能力扩展至支撑一万亿个AI代理。他将闪电网络称为“人类目前打造的最精密的传输层”。
宏观
国资委：截至9月底中央企业累计利用外资超1200亿美元
RecodeX 重构消息，国务院国资委副主任李镇在虹桥国际经济论坛分论坛上表示，截至目前，中央企业共在180多个国家和地区设有机构和项目超1.7万个，境外资产近10万亿元。今年前三季度，中央企业从177个国家（地区）进口商品，进口总额同比增长5.1%。截至9月底，中央企业与39个国家（地区）的301家企业开展合资合作…
地缘局势
特朗普与NASA宣布创办CapeWeek航天航空大会，对标巴黎航展
RecodeX 重构消息，美国总统特朗普与美国国家航空航天局（NASA）共同宣布，将在美国举办一场新的航天与航空产业大会，名为“CapeWeek”，计划两年后在佛罗里达州肯尼迪航天中心举行。 该活动定位为海外同类展会的替代选择，目标是规模超过其他国家的大型航空展，展示美国在航天和航空领域的实力并吸引全球商业活动，将与巴…
地缘局势
朱忠明会见李家超 徐启方参加 沪港共推多领域合作
RecodeX 重构消息，上海市市长朱忠明会见来沪参加进博会的香港特别行政区行政长官李家超，中央港澳工作办公室、国务院港澳事务办公室分管日常工作的副主任徐启方参加会见。朱忠明表示，上海正以“五个中心”建设为主攻方向，香港正强化“四中心一高地”建设，期待双方依托沪港合作会议机制，抓住上海“十五五”规划与香港首个五年规划?…