Wochenendgewinn: Der Beweis, den ich für das Erdos-Problem #397 eingereicht habe, wurde von Terence Tao akzeptiert. Der Beweis wurde von GPT 5.2 Pro generiert und mit Harmonic formalisiert. Viele offene Probleme warten darauf, dass jemand ChatGPT auffordert, sie zu lösen:
Thread:
37