圣者
精华
|
战斗力 鹅
|
回帖 0
注册时间 2020-3-1
|
此帖将于2026-10-17 13:42自动关闭
AI 辅助数学杂志
主编
- 丘成桐（Shing-Tung Yau，清华大学 & BIMSA）
管理编辑
- Yitwah Cheung（清华大学）
- Mao Sheng（清华大学 & BIMSA）
- Artan Sheshmani（BIMSA）
- Max Wenqiang Xu（清华大学 & BIMSA）
宗旨与范围
《AI 辅助数学》是一本国际研究期刊，致力于利用人工智能推进纯数学。该期刊为数学上严谨的工作提供论坛，其中 AI 对新数学思想的发现、发展、验证或组织作出实质性贡献。
该期刊的核心目标是促进以 AI 辅助方法研究纯数学中一些最深刻、最具挑战性的问题。期刊欢迎原创研究，其中人工智能被用于提出猜想、发现隐藏结构、生成证明策略、识别新的归约和中间引理、构造例子、进行大规模数学探索，并协助发展严格证明。
该期刊还寻求识别和表述特别适合 AI 辅助研究的重要开放问题。此类投稿可以提出重大猜想、中间研究问题、结构化数学挑战、计算实验，或旨在促进数学家与先进 AI 系统合作的新研究计划。
期刊范围涵盖纯数学所有领域，包括代数与算术几何、数论、拓扑学、表示论、代数、范畴论、导出几何与辛几何、数学分析、微分方程、组合学、概率论、数学物理、逻辑学和基础。
特别感兴趣的主题包括：
- AI 辅助发现新定理、猜想和数学结构；
- AI 辅助证明开发与验证；
- 对重大开放问题和长期猜想的攻关；
- 在困难问题上取得具有数学意义的局部进展；
- 表述 AI 可处理的开放问题和研究挑战；
- 自动与半自动定理证明；
- AI 与证明助手及形式化数学的整合；
- AI 引导的符号与计算实验；
- 发现新例子、分类、不变量和对应关系；
- 为研究级数学设计的数学推理智能体与系统；
- 机器可读的数学知识、数据库和研究基础设施；
- 用于数学推理与发现的研究级基准；
- 以及数学研究中有效人机协作的方法。
《AI 辅助数学》首要强调数学意义与严谨性。作为定理呈现的结果，无论 AI 参与程度如何，都应达到纯数学领先期刊所要求的证明标准。鼓励作者清楚描述人工智能如何对研究作出贡献，以及如何验证 AI 生成的数学论断。
该期刊欢迎推动人工智能与前沿数学研究互动的研究论文、开放问题文章和挑战文章。
出版
自 2027 年起出版。
每年 4 期。
# Journal of AI-Assisted Mathematics
## Editor-in-Chief
- Shing-Tung Yau (Tsinghua University & BIMSA)
## Managing Editors
- Yitwah Cheung (Tsinghua University)
- Mao Sheng (Tsinghua University & BIMSA)
- Artan Sheshmani (BIMSA)
- Max Wenqiang Xu (Tsinghua University & BIMSA)
## Aims and Scope
AI-Assisted Mathematics is an international research journal dedicated to the use of artificial intelligence in advancing pure mathematics. The journal provides a forum for mathematically rigorous work in which AI contributes substantially to the discovery, development, verification, or organization of new mathematical ideas.
A central aim of the journal is to promote AI-assisted approaches to some of the deepest and most challenging problems in pure mathematics. The journal welcomes original research in which artificial intelligence is used to formulate conjectures, discover hidden structures, generate proof strategies, identify new reductions and intermediate lemmas, construct examples, perform large-scale mathematical exploration, and assist in the development of rigorous proofs.
The journal also seeks to identify and formulate important open problems that are particularly suitable for AI-assisted investigation. Such contributions may present major conjectures, intermediate research problems, structured mathematical challenges, computational experiments, or new research programs designed to stimulate collaboration between mathematicians and advanced AI systems.
The scope of the journal includes all areas of pure mathematics, including algebraic and arithmetic geometry, number theory, topology, representation theory, algebra, category theory, derived and symplectic geometry, mathematical analysis, differential equations, combinatorics, probability, mathematical physics, logic, and foundations.
Topics of particular interest include:
- AI-assisted discovery of new theorems, conjectures, and mathematical structures;
- AI-assisted proof development and verification;
- approaches to major open problems and long-standing conjectures;
- mathematically significant partial progress on difficult problems;
- formulation of AI-approachable open problems and research challenges;
- automated and semi-automated theorem proving;
- integration of AI with proof assistants and formal mathematics;
- AI-guided symbolic and computational experimentation;
- discovery of new examples, classifications, invariants, and correspondences;
- mathematical reasoning agents and systems designed for research-level mathematics;
- machine-readable mathematical knowledge, databases, and research infrastructure;
- research-level benchmarks for mathematical reasoning and discovery;
- and methodologies for effective human–AI collaboration in mathematical research.
AI-Assisted Mathematics places primary emphasis on mathematical significance and rigor. Results presented as theorems are expected to meet the standards of proof required in leading journals of pure mathematics, irrespective of the extent of AI involvement. Authors are encouraged to describe clearly how artificial intelligence contributed to the research and how AI-generated mathematical claims were verified.
The journal welcomes Research Articles, Open Problem, and Challenge Articles that advance the interaction between artificial intelligence and frontier mathematical research.
## Publication
Publishing since 2027.
4 issues per year.
-------------------------
新的风暴已经出现
I am the storm that is approaching |
|
沪公网安备 31010702007642号 )
发表于 2026-9-17 14:00
