“关于数学与人工智能的咨询小组（AGMAI）已就数学问题求解的生成向人工智能公司发布了其一般性建议。一份工作组报告《人工智能与理论计算机科学：未来六个月》，源于在 […] 举行的为期两天的活动……"