пятница, 27 мая 2016 г.

Объявлено о самом объемном доказательстве в математике

Ученые из США и Великобритании заявили о крупнейшем по объему занятой компьютерной памяти доказательстве в истории математики. Специалисты решили булеву проблему пифагоровых троек. Математикам удалось при помощи идей симметрии и методов теории чисел оптимизировать использованный для решения задачи алгоритм.

Источник

Комментариев нет:

Отправить комментарий