实体
Joshua Jun Leang Ong
Joshua Jun Leang Ong
PulseAugur coverage of Joshua Jun Leang Ong — every cluster mentioning Joshua Jun Leang Ong across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI模型通过形式化证明和新发现解决未解数学难题
两篇新研究论文探讨了大型语言模型在高级数学推理和发现方面的能力。第一篇论文介绍了Magenta，一个将非正式的自然语言数学问题与Lean 4中形式化、机器可验证的证明联系起来的系统，在奥林匹克竞赛基准测试中取得了完美的准确率，并与K2-Horizon-7B配对解决了六个IMO 2026问题。第二篇论文提出了HorizonMath，一个旨在测试AI进行新颖发现能力的未解数学问题基准，其中GPT-5.4 Pro和GPT-5.6 Sol等模…
-
AI 通过新工具和基准推动形式化证明系统发展 · 跟踪 4 个来源
研究人员为形式化定理证明开发了新工具和基准，该领域与 AI 的相关性日益增强。一篇论文详细介绍了一个用于 Event-B 的交互式序列证明器，该证明器用 Prolog 编码，在教学和证明分析方面具有优势。另一篇论文介绍了 ProB（一个基于 Prolog 的模型检查器）的扩展，用于动画和可视化 Prolog 转换系统，并应用于游戏策略评估和教学。第三项贡献引入了 ITPEval，这是第一个用于在不同交互式定理证明器 (ITP) 之间翻…