想像一下世界地圖分為國家邊界。您需要幾種顏色填充每個國家以及海洋，沒有任何相同的顏色？
答案是四個 – 的確，無論您的卡看起來如何，四種顏色總是足夠的。但是，這需要對數學進行分解。眾所周知，四個Colororem是使用計算機證明的第一個重要結果。 1976年的證明將問題降低到數千個卡片位置，然後通過軟件檢查每個卡片。
當時，許多數學家掌握在手中。他們認為，如果證據的核心隱藏在難以理解的機器後面，他們認為有什麼證明的東西？也許是因為這種回滾，計算機證據仍然存在於少數群體中。
但這可能開始改變。正如我們在“也許AI”中報導的那樣，最後一代人工智能使這一論點顛倒了。當我們能夠傳達汽車證據驗證時，為什麼要問他的支持者，我們應該相信有缺陷的人的數學，其假設和標籤？
AI在數學中的爭論是社會面臨的更大問題的縮影
自然，並不是每個人都同意這一建議。關於在數學中使用AI的爭論是社會面臨的更廣泛問題的縮影：允許汽車佔有是合適的嗎？技術公司越來越有希望，人工智能代理人將刪除整體工人，從處理帳戶到預訂假期的普通任務。但是，當我們試圖允許他們度過一天時（請參閱“光彩和失望的爆發”：我允許人工智能的代理人管理我的一天”）時，我們發現這些代理人並沒有完全接近工作。
拒絕控制，傳遞不透明AI的信用卡或密碼，與四種顏色證據相同的焦慮感。直到現在，我們不再在地圖上繪畫，而是在探索新區域時嘗試找到它的邊緣。是否有證據表明我們可以依靠汽車，期待我們超越地平線，或者只是“龍”的數字版本？
主題：
- 人工智慧/
- 技術
