What happens to mathematics when AI becomes an oracle?

"`json
{"title": "מה קורה למתמטיקה כשמדע מחשב הופך לאורקל?", "summary": "מנתח מתמטי סמיון סטרוגאץ דן בפרק חדש לתוך ספרו, "Big Math: The Hidden Codes That Run Our World"."}
"`

מקור: Ars Technica – All content — לכתבה המלאה