模型
FunSearch
DeepMind于2023年推出的系统，首次将LLM与进化搜索结合，在装箱问题等纯数学问题上取得突破
核心事实
时间轴 (近 90 天)
10月13日
近年的 AlphaTensor、FunSearch 等工作用搜索与学习方法发现了矩阵乘法的新算法或新的组合构造，部分结果已被证明正确且具有实际价值。
待验证50%
DeepMind于2023年推出的系统，首次将LLM与进化搜索结合，在装箱问题等纯数学问题上取得突破
近年的 AlphaTensor、FunSearch 等工作用搜索与学习方法发现了矩阵乘法的新算法或新的组合构造，部分结果已被证明正确且具有实际价值。