实体
Marc Lackenby
Marc Lackenby
PulseAugur coverage of Marc Lackenby — every cluster mentioning Marc Lackenby across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
数学家证明有限群承认恰好有限的表示
研究人员已证明，每个有限群都可以用“恰好有限”的表示来表示。这意味着，对于任何有限群，都存在一组生成元和关系，从中移除任何一个关系都会导致一个无限群的表示。这解决了群论领域一个长期存在的公开问题。
-
谷歌DeepMind AI协助数学家，在FrontierMath基准测试中名列前茅
谷歌DeepMind发布了一个名为“AI Co-Mathematician”的AI系统，旨在与人类数学家合作解决复杂问题。该系统基于Gemini 3.1 Pro构建，在极具挑战性的FrontierMath Tier 4基准测试中取得了48%的新SOTA分数，显著优于GPT-5.5 Pro等现有模型。该AI作为一个异步工作空间，配备一个协调代理，负责分解任务、管理并行研究流，并持久存储失败的假设，这与软件开发中的工作流程相似。