Борис Конєв і Олексій Лисиця, математики з університету Ліверпуля, доручили комп`ютера рішення невідповідності Ердеша - математичної задачі, довести яку людина поки що не в силах. Комп`ютер її вирішив, проте перевірити отримане доказ неможливо: воно займає 13 Гб, що на 2 Гб більше, ніж обсяг усіх англомовних ресурсів Wikipedia.
Тепер перед ученими стоїть нелегкий вибір. Чи слід їм відмовитися від результатів роботи через те, що їх не можна перевірити вручну? Але слідом за цим виникає питання - а чи не доведеться взагалі відмовитися від використання комп`ютерних програм, в математиці зокрема і в науці - в цілому?
Інший варіант - приймати результати, видані комп`ютером, як факт. Не тільки зараз, але і в майбутньому: адже невирішених проблем ще багато, і чим вони складніші - тим об`ємніше буде їх рішення.
Тестуємо озу з програмою memtest
Як підключити гарнітуру до пк
Не вимикайте поки комп`ютер встановлюється оновлення
Еммі адмін - програма для надання віддаленого доступу до комп`ютера
Кілька способів прискорити комп`ютер mac
Програми для копіювання фотографій з iphone і ipad на комп`ютер: photosync і fileexplorer
Як підключити комп`ютер до комп`ютера?
Ccleaner - потужна зброя проти сміття на комп`ютері