实体
axle
axle
PulseAugur coverage of axle — every cluster mentioning axle across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
AXLE云基础设施简化了AI驱动的Lean 4定理证明
一项名为AXLE的新云基础设施服务已被开发出来，以支持Lean 4定理证明，特别是针对AI驱动的数学研究。AXLE提供了14个元编程工具套件，用于证明验证、元数据提取和证明修复等任务，旨在处理数百万个请求，并提供每个请求的隔离以及对多个Lean 4版本的支持。该服务可通过包括Python SDK和HTTP API在内的各种接口访问，已被Axiom Math使用，并已处理超过5亿个请求，为其在Putnam竞赛等比赛中的成功做出了贡献。
-
Axiom AI 解决12道普特南数学竞赛题，接近人类分数
Axiom，一家成立七个月的初创公司，已取得一项重大里程碑，成功解答了著名的普特南本科数学竞赛中的12道题，得分8/12。这一成就使其AI系统比其他报道的AI系统更接近顶尖人类的表现。Axiom的CEO Carina Hong强调，虽然编码能力正在迅速发展，但通过其开源的AXLE Lean工具包等工具进行形式化验证，对于扩展和巩固AI的卓越性至关重要，从而超越非正式证明和统计奖励。
-
Apex Legends更新通过优化物理引擎修复了AMD X3D CPU的卡顿问题
游戏Apex Legends的最新更新解决了配备AMD Ryzen X3D处理器的玩家遇到的卡顿问题。Respawn Entertainment的开发人员发现，这些CPU的高性能，特别是其V-Cache技术，在极高的帧率下暴露了游戏物理算法的低效率。此次更新旨在优化这些计算，确保帧率超过240 FPS的用户获得更流畅的游戏体验。