>>/4251/
> за соломинки хватаешься
Конечно, батенька, ведь полная некомпетентность (помимо маркетинга) тех самых бенчмарков, на которые вы так долго и с вздохами молились под одеялом одинокими больничными ночами - это же соломинка. Отрицая каковую вы перепортили добрый вагон кальсон несколько лет назад. Ну что ж, больной, как говорится, верую, ибо абсурдно, соломинка так соломинка.
> Некоторые машинки уже могут.
Восхитительно, пациент! Эти машины просто поражают! Еще немного, и они даже начнут автоматически доказывать теоремы! Возможно, если долго молиться нейробоженьке и вкладывать много-много денег инвесторов, то нейрогосподь ниспошлет какую-нибудь такую систему? Можно было бы назвать ее крутым словом Vampire, а вас бы мы покормили свеклой для соответствующей окраски кальсон и отправили бы ее рекламировать...
А, пресвятой Фрейд, кто-то уже застолбил себе это название: https://en.wikipedia.org/wiki/Vampire_(theorem_prover)