2 ms·
Most interesting problems can't be solved by pure deduction. You need to construct things, and that is a leap of intuition (or LLM in case of AlphaGeometry).
by visarga 3y ago
Most interesting problems can't be solved by pure deduction. You need to construct things, and that is a leap of intuition (or LLM in case of AlphaGeometry).