提出Iteris代理研究系统用于计算数学中的开放性问题,通过数值实验、构造和证明草稿为两个开放问题提供了验证结果。
机构:北大
来源:arXiv 2606.02484 | AI4Papers 论文推荐平台