3 ms·Sabine Hossenfelder: AlphaGeometry adds symbolic AI/logic to LLM, its all over3 points by MichaelMoser123 3y ago