הוכחה מתמטית
- אבי בליזובסקי
- תגובה אחת
מאז ינואר 2026 מדווחות חברות בינה מלאכותית על פתרון עשרות בעיות מתמטיות פתוחות, רבות מהן של פול ארדוש. חלק מההוכחות נבדקו בידי מתמטיקאים ובתוכנת האימות Lean, אך התוצאות הבולטות עדיין
- מיכאל רוטשילד
- 54 תגובות
מה עושה מתמטיקאי וכיצד נראית חשיבה מתמטית בפועל? מאמר המדגים באמצעות חידה אחת ושלוש הוכחות שונות את היופי שבבניית עזר, בהפשטה ובהוכחה מתמטית.