FrontierMath נפרצה — Gauss פתר ואטמט בעיה פתוחה תוך שעות

יום שבת, 14 במרץ 2026

🖊️

פול גרהם FrontierMath נפרצה — Gauss פתר ואטמט בעיה פתוחה תוך שעות

נושאים

RT: Gauss פתר ואטמט (autoformalized) בעיה פתוחה מ-FrontierMath תוך שעות — ראשון מסוגו המודעה היחידה של Y Combinator בעיתון — בסטנפורד דיילי. גם הפעם הראשונה שכתבתי קופי RT: שוק עבודות ל-vibe coders ב-Replit — לא סתם דמו, באמת שוחרר

גרהם בשלושה ציוצים שמייצגים שלוש תקופות. העתיד: RT של mathematics_inc על Gauss שפתר בעיה פתוחה מ-FrontierMath — לא רק פתר, אלא גם אטמט (autoformalized) אותה ב-Lean תוך שעות. 'זו הפעם הראשונה שבעיה פתוחה מ-FrontierMath נפתרה וגם אוטמטה.' 43 RT.

זה ממשיך את הנרטיב של DeepMind ו-AlphaEvolve מאתמול: AI לא רק פותר מתמטיקה, הוא מייצר הוכחות פורמליות. העבר: המודעה היחידה של YC בעיתון, בסטנפורד דיילי. 1,920 לייקים — הציוץ הפופולרי ביותר של גרהם היום.

נוסטלגיה, אבל גם תזכורת: YC התחילה ממודעה בעיתון ויצרה את כל מה שאנחנו מדברים עליו. וההווה: Replit שחררה שוק עבודות ל-vibe coders — 'לא סתם דמו, באמת שחררו.' גרהם קרא ל-Replit 'cockroach' — חברה ששורדת הכל.

📌 הפוסט המומלץ

RT על Gauss שפותר ומטמט בעיה פתוחה מ-FrontierMath

Using Gauss, this is the first FrontierMath open problem to not only be solved but also autoformalized within hours of the solution being discovered.

באמצעות Gauss, זו הפעם הראשונה שבעיה פתוחה מ-FrontierMath לא רק נפתרה אלא גם אוטמטה (autoformalized) תוך שעות מהרגע שהפתרון התגלה.

לפוסט המקורי ↗

💡

תובנה

כש-AI פותר ומוכיח פורמלית בעיה פתוחה תוך שעות — הגבול בין 'כלי עזר למתמטיקאים' ל'מתמטיקאי' מטשטש.

כל הכתבות ←