3 citations · 6 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Breaking the high-degree barrier in Lehmer's problem with a human-AI discovery loop
Yuri Chervonyi, Sergei Gukov, Thang Luong
While artificial intelligence has made rapid progress in mathematical reasoning, many open problems depend on structure that is revealed only through large-scale computational expl…
cs.AI2026★ 3 cited
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
Tony Feng, Trieu Trinh, Garrett Bingham +21
We present a case study in semi-autonomous mathematics discovery, using Gemini to systematically evaluate 700 conjectures labeled 'Open' in Bloom's Erdős Problems database. We empl…