RecodeX 重构消息，Axiom表示，其AI系统在24天内完成了一项群论证明的形式化工作，产出约4310万行Lean代码。该项目还发现“非平衡群定理”证明中存在一处重大缺口。
Axiom称AI系统完成1.5万页群论证明形式化
AI 辅助判断积极仅供信息参考，不构成投资建议
原始信息来源Tokenposttokenpost.com
查看原文 ↗更多快讯
查看全部 →融资
采埃孚与徐工合资成立徐州机械公司 注册资本825万欧元
RecodeX 重构消息，天眼查App显示，采埃孚（徐州）机械有限公司近日成立，法定代表人为黄礼恩，注册资本825万欧元。经营范围包括齿轮及齿轮减、变速箱制造与销售，轴承、齿轮和传动部件制造，汽车零部件及配件制造及软件开发等。股东为ZF Holdings B.V.与徐工集团工程机械股份有限公司，分别持股51%和49%…
加密货币
代币化股票持有人数领先，但国债代币分发价值更高
RecodeX 重构消息，10月27日数据显示，代币化国债的分发价值为146.3亿美元，代币化股票的分发价值为36.1亿美元。报告同时指出，代币化股票的持有人数量虽居前，但该持有人计数无法确定实际持有这些代币的不同人数。
人工智能
星尘智能办机器人App黑客松 16款应用完成真机测试
RecodeX 重构消息，星尘智能通过机器人操作系统AOS（Astribot OS），将移动、抓取、交互等能力封装为可调用模块，支持开发者结合大模型开发机器人应用。在近日举行的星尘OS机器人黑客松上，17支团队在36小时内完成应用开发，其中16款App完成真机测试，真机验证率约94%，场景涵盖远程铲猫砂、浇花、运镜跟拍…
科技
星宸科技两款激光雷达芯片明年出货目标达数百万颗
RecodeX 重构消息，星宸科技在最新投资者关系活动记录表中表示，公司首款高阶前向主雷达芯片已实现量产上车，正依托合作方整机能力与渠道资源在多家车企持续导入，覆盖自主车企、新势力、合资品牌及商用车。第二款定位全固态补盲雷达的芯片已交付定制大客户，预计明年上半年随合作车型发布并量产上车。公司预计两款芯片合计明年出货规模…
地缘局势
美军对伊朗战争花费升至470亿美元，弹药补充占290亿
RecodeX 重构消息，美军中央司令部向国会提交的最新估算显示，美国对伊朗的战争花费已升至470亿美元，较9月初五角大楼报告的436亿美元增加30多亿美元。 费用中最大一项为弹药补充，达290亿美元；另有约61亿美元用于补充装备损耗。美空军在战区的部署人员支持、空运、基地运营、通信保障及运输等成本为76亿美元。该估算…
加密货币
Bittensor代币TAO盘中跌至246.87美元后回升至251美元附近
RecodeX 重构消息，Bittensor（TAO）27日盘中一度下探至246.87美元的低点，随后回升至251.31美元附近。该价格仍远低于9月底超过320美元的水平。 TAO在9月从220美元附近一路上涨至320美元以上，进入10月后回落。以9月高点与近期价格相比，涨幅已明显收窄。