Hacker News new | ask | show | jobs
by lacker 693 days ago
AlphaGeometry is not an LLM
1 comments
cubefox 693 days ago
It is an LLM combined with a symbolic deduction engine.
link