English(EN) Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research

提出大型语言模型赋能的数学研究新规范

作者 PulseAugur 编辑部 · [1 个来源] · 2026-09-01 04:00

一篇新论文提出，数学界在涉及大型语言模型（LLMs）的研究中应采纳更严格的规范。作者认为，研究人员必须披露为获得结果所使用的确切提示和软件配置，并且研究成果应形式化以便机器验证。此外，该论文建议，人类作者应为大型语言模型生成的结果提供直观的解释，因为这些结果可能难以理解。 AI

排序理由该集群包含一篇提议大型语言模型赋能的数学研究新规范的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 17 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇提议大型语言模型赋能的数学研究新规范的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

arXiv cs.LG TIER_1 English(EN) · Axel Boldt · 2026-09-01 04:00

解释、提示和形式化：LLM赋能的数学研究新规范论证

arXiv:2608.29401v1 Announce Type: cross Abstract: As several mathematical conjectures have recently been settled using large language models (LLMs), the mathematical community has formulated norms and recommendations regarding the publishing of such results. These norms do not co…