Große Woche für KI bei den Ramsey-Untergrenzen! Dies verbessert R(3,13), R(4,13), R(4,14), R(4,15) jeweils um eins. Ich würde gerne etwas über klassische Ramsey-Zahlen in FrontierMath: Offene Probleme einfügen, bin mir aber nicht sicher, wie ich es allgemein genug gestalten kann, um unseren Interessantheitsstandard zu erfüllen.