人工智能
1天前News Editor

ScienceVision 测试显示 GPT-6 Astra 三维科学理解仅得 0.53 分

一项名为 ScienceVision 的跨学科 3D 视觉理解基准显示,BenchCAD 跑分达到 95.9% 的 GPT-6 Astra,在 250 道真实三维数据题目中最高仅获 0.53 分。该评测覆盖生物、化学、医学影像、机械 CAD 和建筑 5 个领域、22 个子领域,由 UniPat AI 与 Elorian AI 推出,并由 66 名专家累计投入 482.98 小时完成标注与审核。结果显示,没有任何模型能在五个学科同时领先,交互工具带来的提升也十分有限。

60
ScienceVision 测试显示 GPT-6 Astra 三维科学理解仅得 0.53 分
江波龙
1天前News Editor

江波龙前三季度净利增至143亿元,三季度现金流转正

江波龙前三季度实现营收387.18亿元,同比增长131.37%;归母净利润143.22亿元,同比增长1909.68%。按累计数据推算,第三季度归母净利润37.45亿元,较第二季度回落约44.2%,但经营现金流净额转为正8.77亿元。公司称DRAM与NAND Flash涨价推动减弱后,高端产品量产、客户结构优化和资本实力增强,正成为后续观察重点。

100
江波龙前三季度净利增至143亿元,三季度现金流转正
Axiom
1天前News Editor

Axiom 用 24 天形式化验证有限单群分类定理

Axiom 公布,其多智能体系统 AxiomProver 已将有限单群分类定理完整形式化,并产出超 4310 万行 Lean 代码。该定理相关证明由约 100 位数学家自 1950 年代起在 500 多篇论文中累积完成,总长约 15000 页。形式化过程中,系统记录数百处异常,其中 34 处被描述为重大逻辑偏差,并在不平衡群定理相关环节发现关键漏洞,随后在 Richard Lyons 与 Ronald Solomon 参与下,基于新路线完成修补。

20
Axiom 用 24 天形式化验证有限单群分类定理
共 273 条
前往页