We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong mathem…
机构:Google
来源:arXiv 2609.40324 | AI4Papers 论文推荐平台