Математик: все, що ми знаємо про математику, може бути невірним
Машина довіри
Теоретична математика, як правило, настільки складна, що навіть дослідники, які просувають цю область, не можуть зрозуміти все це.
Виявляється, що багато математики просто вірять, що основи нового відкриття розумні, повідомляє Материнська плата. Якщо видатний дослідник цитує математичне доказ у своїй роботі, інші можуть припустити, що це правда, не перевіряючи себе. І математик з Імперського коледжу Лондона Кевін Баззард стурбований тим, що все поле буде в вогні.
Теоретична Дженга
Канюк стурбований тим, що багато математичні докази невірні — але помилки ховаються за радаром, тому що багато видних діячів просто припускають, що вони тримають воду.
«Раптово мене турбує, що вся опублікована математика невірна, тому що математики не перевіряють деталі, — сказав він Материнської плати, — а я раніше бачив їх невірними».
Автоматизовані академіки
Щоб допомогти математикам прийти до обгрунтованих висновків, що не змушуючи їх зануритися в тисячі сторінок незбагненних операцій, у своєму вступному слові на математичної конференції Баззард припустив, що поле повинно бути звернено до інструментів штучного інтелекту, які можуть виконувати за них важку роботу.
«Я думаю, що є ненульовий шанс того, що деякі з наших великих замків побудовані на піску», — читається в його презентації для Материнської плати. «Але я думаю, що це маленький.»
Джерела: Motherboard
