You are absolutely correct, but by late next year we'll probably see good mathematical proofs when the LLM'S have access to a calculator and coding. Chatgpt has been handicapped and limited in scope. By 2024, I think you might be impressed by