axle
PulseAugur coverage of axle — every cluster mentioning axle across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
新方法启动标注员生活经验以应对主观自然语言处理任务
研究人员开发了AXLE，一种新颖的预标注方法，旨在激活标注员在数据标记过程中的生活经验。该方法使用情景片段和引导式对话来创建一个第一人称的微叙事，然后在标注员开始标记之前将其呈现给他们。一项关于仇恨言论检测的研究表明，AXLE提高了身份共鸣和对伤害的敏感度，同时也增加了标签熵并降低了标注员之间的一致性，这表明它能够呈现多样化的观点，而不是强制达成共识。
-
AI 从预测转向响应，伴随新的 Android 沙盒和职业反思
一位人士详细介绍了自己从算法交易转向由 AI 驱动的投标方法，认为这比持续的市场预测军备竞赛更具可持续性。另外，一篇技术笔记提到了 Android 17 的 AISeal，这是一个使用受保护内核虚拟机 (pKVM) 的 AI 任务硬件隔离沙盒。另一篇帖子反思了在高风险情况下领导大型团队的经历，强调了开源软件中的职业发展。
-
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的用户获得更流畅的游戏体验。