arXiv cs.AI· Haitham Masaud Amar·2026-10-23 12:00· 2 小时前AI 评分28

AI 辅助数学补遗：为 2018 年滑铁卢大学战略规划论文形式化合作与竞争

Formalizing Cooperation and Competition: An AI-Assisted Mathematical Addendum to a 2018 Planning Thesis

AI 导读

Haitham Amar 在 arXiv 发布对 2018 年滑铁卢大学博士论文《Strategic Trip Planning》的 AI 辅助数学补遗，重构战略选择、合作稳定性、参与者批准与执行之间的关系。