Фокус

Наукові дослідження з фізики містять помилки: це вперше виявив комп'ютер

Комп'ютерна мова, розроблена для перевірки математичних теорем і виявлення логічних помилок, виявила помилку у великому дослідженні з фізики.