Greg Egan on Nostr: Curious to know how people who use LLMs for maths go, if they feed them the first ...

Curious to know how people who use LLMs for maths go, if they feed them the first line here with no further hand-holding.

Assuming s is real, simplify √((sinh^2 s + (-√2 - cosh s)^2)) - √((sinh^2 s + (√2 - cosh s)^2)).

For a human, this is easy:

√(2 cosh^2 + 2√2 cosh s + 1)
- √(2 cosh^2 - 2√2 cosh s + 1)

= √(√2 cosh s + 1)^2
- √(√2 cosh s - 1)^2

= 2

But Mathematica 13.3 / Wolfram Alpha still can’t do it.

https://www.wolframalpha.com/input?i=Simplify+Sqrt%5B%28-Sqrt%5B2%5D+-+Cosh%5Bs%5D%29%5E2++%2B+Sinh%5Bs%5D%5E2%5D+-+Sqrt%5B%28Sqrt%5B2%5D+-+Cosh%5Bs%5D%29%5E2+%2B+Sinh%5Bs%5D%5E2%5D+for+real+s