Erdős--Straus

新AI系统FAR通过自动化问题识别来简化数学发现

研究人员开发了一个名为Find, Attempt, and Recommend (FAR) 的新的人机协作框架，以提高AI辅助数学发现的效率。该系统自动化了从广泛的研究论文语料库中识别和筛选潜在数学问题的过程，使人类专家能够专注于审查有希望的猜想。一项在组合学领域的试点研究通过处理超过5000篇论文来识别77个项目供专家审查，从而在几个著名的猜想上发现了新结果，证明了FAR的有效性。