July 19, 2026 GPT-5.6 beweist mit einem Prompt, dass ein 30 Jahre alter Algorithmus am Limit ist KIGPT-5.6MathematikFormale Beweise
