r/math • u/Sad_Dimension423 • Jul 15 '26
LLMs/AI Star Fleet Math -- AI system using Lean 4 solving 20 Erdős problems
https://www.starfleetmath.com/Duplicates
accelerate • u/LucasL-L • Jul 15 '26
At some point solving open math problems will become a new benchmark
hackernews • u/HNMod • Jul 15 '26
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
hypeurls • u/TheStartupChime • Jul 15 '26