Experience using AI software to prove Euler sum results [pdf]

AI & Machine Learning, Software Development, Other: AI-assisted mathematics(davidhbailey.com)view on HackerNews

AImachine learninglarge language modelsEuler sumsmathematical proofChatGPTDeepSeekGoogle GeminiAnthropic Claude

Author: cpp_frog

Date: 6/8/2026

Article Summary:

The article presents an assessment of the mathematical proof capabilities of several large language models (LLMs) on problems from the theory of Euler sums, concluding that the currently available LLMs are not ready for prime time as mathematical research assistants.