23 citations · 45 across the 11 of their papers we have counts for
6 papers · 1 filter
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…
MaD Physics: Evaluating information seeking under constraints in physical environments
Moksh Jain, Mehdi Bennani, Johannes Bausch +4
Scientific discovery is fundamentally a resource-constrained process that requires navigating complex trade-offs between the quality and quantity of measurements due to physical an…
Aletheia tackles FirstProof autonomously
Tony Feng, Junehyuk Jung, Sang-hyun Kim +14
We report the performance of Aletheia (Feng et al., 2026b), a mathematics research agent powered by Gemini 3 Deep Think, on the inaugural FirstProof challenge. Within the allowed t…
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…
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák +8
We present AlphaGeometry2 (AG2), a significantly improved version of AlphaGeometry introduced in (Trinh et al., 2024), which has now surpassed an average gold medalist in solving O…
Semi-analytical Industrial Cooling System Model for Reinforcement Learning
Yuri Chervonyi, Praneet Dutta, Piotr Trochim +9
We present a hybrid industrial cooling system model that embeds analytical solutions within a multi-physics simulation. This model is designed for reinforcement learning (RL) appli…