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