Auswertung der Ramanujan Challenge: Eine Einreichung bewies eine der veröffentlichten offenen zahlentheoretischen Vermutungen

Das arXiv-Paper vergleicht KI-Modelle, Computeralgebra und formale Werkzeuge an Formeln für Konstanten auf Forschungsniveau; seine KI-gestützte Bewertung senkte falsch-positive Urteile bei natürlichsprachlichen Beweisen von 23 % auf 6 % gegenüber einmaligem LLM-Urteil. Welches System den Beweis lieferte, sagt die Zusammenfassung nicht.