我們是否對完成重要任務感到滿意？

G是全球地圖，除以國界。您需要幾種顏色來填充每個國家和海洋而不觸摸相同的顏色？

答案是四個 – 實際上，無論您的地圖如何，四種顏色總是足夠的。但是數學需要衝突來證明這一點。已知的四種顏色理論是使用計算機證明的第一個主要結果。 1976年的證明問題被簡化為數千個地圖佈置，每個地圖都由軟件檢查。

當時大多數數學家都有武器。他們是否在爭論證明的主要部分是否隱藏在未知的機器後面？也許是因為這種回壓，計算機向前的證據仍然是少數工具。

但是它可以開始切換。當我們報告“ AI我們將完全改變數學”時，最新一代的人工智能將這一論點置於其頭上。當我們可以將證明轉換為機器時，為什麼，為什麼，為什麼我們相信有缺陷的人類，UMP大廳和快捷方式的數學？

顯然，並不是每個人都同意這個建議。違反在數學中使用AI的行為是社會對面的大問題的顯微鏡：何時接管機器？科技公司承諾，通過從處理髮票中進行平凡的工作來預訂假期，從而消除AI代理商。但是，當我們試圖允許他們開車時（“看看照明和沮喪的光”：我正在由AI代理商來運行我的一天）時，我們發現這些代理人尚未完全使用。

借助信用卡的控製或將密碼交給半透明的AI，通過四種顏色證明會產生一種不舒服的感覺。現在，我們不再在地圖上垂死，但是當我們考慮新領域時，我們正在嘗試找到它的邊緣。我們是否期待有證據表明我們可以在這裡依靠機器或數字版本的“繪製龍”的數字版本？