LLM Proves Complex Math Result: A Turning Point? - Rollup News