RecodeX 重构消息，Anthropic旗下模型Claude Fable 5.2完成了一项数学形式化任务：在30小时内将费马大定理的形式化证明工作完成。费马大定理由皮埃尔·德·费马于17世纪提出，其证明由安德鲁·怀尔斯于1995年完成，形式化验证长期被视为极耗人力的工程。
Claude Fable 5.2用30小时完成费马大定理形式化
AI 辅助判断积极AI 看多仅供信息参考，不构成投资建议
原始信息来源新浪科技finance.sina.com.cn
查看原文 ↗更多快讯
查看全部 →股市
稳市政策组合拳持续发力 机构强化逆周期布局
RecodeX 重构消息，11月以来，稳市场政策“组合拳”持续推进，包括互换便利操作、股票回购增持再贷款、两融逆周期调节以及引导主动ETF加快建仓等举措协同落地。 同期，A股主要宽基指数估值回落至历史偏低区间，股息率相对无风险利率的性价比突出，筹码压力有所缓解。多家机构表示，正以更重盈利质量、更重业绩兑现的思路强化逆周…
加密货币
Meme币市场日交易量升至1.82亿美元，Solana占比65%
RecodeX 重构消息，Meme币市场整体交易量单日上涨34%，达到1.82亿美元。其中Solana链上交易占全部交易量的65%，为主要贡献方。在各大Meme币市场中，Arc录得当日最大涨幅。
股市
Rosen律所就NVE公司涉嫌证券违规展开调查
RecodeX 重构消息，Rosen律师事务所11月9日表示，正代表NVE公司（纳斯达克代码：NVEC）股东继续调查潜在的证券索赔，起因是有指控称NVE公司可能发布了存在重大失实的信息。该律所呼吁投资者就此次证券集体诉讼调查进行咨询。
股市
Solidion Technology三季度现金2620万美元，负债降约40%，每股收益0.02美元
RecodeX 重构消息，Solidion Technology（纳斯达克代码：STI）公布第三季度财务业绩，期末现金余额为2620万美元，总负债较此前减少约40%，每股收益为正的0.02美元。公司称本季度在保持稳健现金状况的同时改善了资产负债表结构。
股市
Ionis第三季度业绩不及预期 Tryngolza表现拖累股价下挫
RecodeX 重构消息，Ionis Pharmaceuticals公布第三季度业绩后股价再度走低，主要因旗下药物Tryngolza的市场表现未达预期。此次抛售是该公司近期遭遇的最新一轮下跌，投资者对这款药物的商业化进展感到失望。
股市
Casella Waste Systems财报营收不及预期 股价跌8%
RecodeX 重构消息，Casella Waste Systems股价下跌8%，此前公司公布的财报显示营收与盈利均未达到市场预期。