А ради чего бы тогда это новость была, если ничего не подразумевать? SAT-solving engines, естественно, имеют слабые места, и иногда производят видимый невооруженным глазом субоптимальный результат.
Ну можно подразуметь, что нейросеть самообучается, а потом распознает идентичные или очень похожие данные.
Да я не о том вообщето, а о том что решать школьные задачки по геометрии это более многообещающе чем какая-нибудь оптимизация NP-complete решателя. NP-complete их никто не может решать ни люди, ни машины. Там скорее всего прогресса не будет или вообще никогда или тогда, когда появится strong AI. А если сегодня ЕГЭ одолели, то завтра глядишь и диссертации докторские будут писать.
ЕГЭ и диссертации - два принципиально разных рода деятельности, по крайней мере что касается естественных наук. А по болтологиям вон, уже сейчас корчеватель такое напишет, что аттестационной комиссии будет проще утвердить, чем признаться, что ни черта в "умном" тексте не понимают.
Геометрия для них должна быть проще всего. Там в основном надо все углы да стороны да пересечения аккуратно считать, и пару теорем знать. Для какой-нибудь прологообразной системы вывода это - семечки.
User spectat referenced to your post from новости искусственной интеллигенции (http://spectat.livejournal.com/696160.html) saying: [...] в Искусственно-интеллектуальное [...]
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
winterfish
no subject
Date: 2015-09-22 12:56 am (UTC)а вот тот, котоый решили искусственноинтеллектники - это круто.
no subject
Date: 2015-09-22 02:55 am (UTC)no subject
Date: 2015-09-22 05:26 am (UTC)"A SAT-solving engine is now considered to be an essential component in the EDA toolbox."
Кем то подразумевается и что задача, не в общем случае, решена.
А вспомнил, у нас курсовой проект такой был. Там было несколько NP-complete на выбор.
no subject
Date: 2015-09-22 05:31 am (UTC)no subject
Date: 2015-09-22 05:49 am (UTC)Да я не о том вообщето, а о том что решать школьные задачки по геометрии это более многообещающе чем какая-нибудь оптимизация NP-complete решателя. NP-complete их никто не может решать ни люди, ни машины. Там скорее всего прогресса не будет или вообще никогда или тогда, когда появится strong AI. А если сегодня ЕГЭ одолели, то завтра глядишь и диссертации докторские будут писать.
no subject
Date: 2015-09-22 05:58 am (UTC)no subject
Date: 2015-09-22 03:41 am (UTC)no subject
Date: 2015-09-22 03:43 am (UTC)no subject
Date: 2015-09-22 03:59 am (UTC)no subject
Date: 2015-09-22 04:22 am (UTC)no subject
Date: 2015-09-22 04:19 am (UTC)no subject
Date: 2015-09-22 04:27 am (UTC)новости искусственной интеллигенции
Date: 2015-09-22 06:24 am (UTC)no subject
Date: 2015-09-22 06:30 am (UTC)