arXiv.org
arXiv.org is We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong mathematical ideas in a single shot, single-shot generation is…. It is ranked #4202 on the AI Radar, in AI research, first seen 34 days ago and shared in 2 posts (34.3k views).
[2609.40324] Cogentic: Multi-Agent Orchestration for Automated Proof Discovery Skip to main content Search arXiv Press Enter to search · Advanced search --> Computer Science > Artificial Intelligence arXiv:2609.40324 (cs) [Submitted on 30 Sep 2026] Title: Cogentic: Multi-Agent Orchestration for Automated Proof Discovery Authors: Yang Cai , Vineet Gupta , Yanchen Jiang , Christopher Liaw , Aranyak Mehta , Grigoris Velegkas , Di Wang View a PDF of the paper titled Cogentic: Multi-Agent Orchestration for Automated Proof Discovery, by Yang Cai and 6 other authors View PDF HTML (experimental) Abstract: We present Cogentic, a multi-agent harness…
Alternatives to arXiv.org
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
arXiv.org in numbers
- Rank on the AI Radar: #4202 of 10410
- Shared in 2 posts by 2 accounts: @hwchase17
- 34.3k views on those posts
- First seen 34 days ago, last shared 34 days ago
- Pricing seen by AGK Intelligence: free
- Market: AI research
FAQ
What is arXiv.org?
We present Cogentic, a multi-agent harness for automated proof discovery on open research problems. While frontier language models can generate strong mathematical ideas in a single shot, single-shot generation is… It was first shared on X 34 days ago and is ranked #4202 on the AI Radar.
Is arXiv.org free?
Yes, it is free to use.
Who shared arXiv.org?
2 accounts on X, including @hwchase17, in 2 posts totalling 34.3k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.6k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 16:05 UTC. Full method.