Sabine Hossenfelder: AlphaGeometry adds symbolic AI/logic to LLM, its all over | Hacker News Reader