Mittwoch, 8. Juli 2026
AI proofs
KI löst jetzt Mathe-Probleme: Has an AI discovered new maths?
Konkret: #90 und disproof