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

На модерации Отложенный Как сообщает радио «Свобода», компания Intel совместно с известным американским математиком Томасом Хэйлсом начала разработку нового продукта, который будет следить за правильностью математических обоснований.

Многие ученые при доказательстве своих работ некоторую часть описаний оставляют «в уме», чтобы в массе раскрытых шагов, то есть уже известных аксиом, не потерялась сама суть исследования. Также это делается для простоты восприятия. Тем не менее, довольно распространено, что по прошествии многих лет именно в опущенной части доказательства, которая носила формальный характер, обнаруживаются ошибки, ставящие под сомнение все доказательство.
Подобных случаев можно было бы избежать, применяя компьютерные программы, специализирующиеся на проверке новых открытий.

Томас Хэйлс уверен, что внедрение подобный программ, поспособствует не только снижению ошибок, но существенно упростит труд математиков. Специалисты в этой области сообщают, что новое программное обеспечение появится уже в ближайшие годы.