h1: Ein Vorgeschmack auf die Bitter Lesson beim automatisierten Theorem-Beweisen

arXiv:2610.35962v1 Ankündigung: Neue Arbeit. Abstract: Während Fortschritte in der informalen Mathematik größtenteils vom Scaling von Chain-of-Thought- und Agentic-Reasoning von führenden Sprachmodellen stammen, hat sich das formale Theorem-Beweisen zunehmend auf von Menschen entworfene Workflows um diese Modelle gestützt, wie etwa Planung