Математики будуть перевіряти на комп’ютерах

Як повідомляє радіо «Свобода», компанія Intel спільно з відомим американським математиком Томасом Хейлсом почала розробку нового продукту, який стежитиме за правильністю математичних обгрунтувань.

Багато вчених при доведенні своїх робіт деяку частину описів залишають «в умі", щоб в масі розкритих кроків, тобто вже відомих аксіом, не загубилася сама суть дослідження. Також це робиться для простоти сприйняття. Тим не менше, досить поширене, що після багатьох років саме в опущеною частини докази, яка носила формальний характер, виявляються помилки, що ставлять під сумнів всі доказ. Подібних випадків можна було б уникнути, застосовуючи комп’ютерні програми, що спеціалізуються на перевірці нових відкриттів.

Томас Хейлс впевнений, що впровадження подібний програм, сприятиме не тільки зниженню помилок, але істотно спростить працю математиків. Фахівці в цій області повідомляють, що нове програмне забезпечення з’явиться вже в найближчі роки.