Искусственно-интеллектуальное

[spamsink]

AI system solves SAT geometry questions as well as average human test taker

Comments

[occam-aga.livejournal.com]

решая тот САТ, от которого должны щурится компьютерщики, можно и от скуки умереть, ну или от старости, не суть.

а вот тот, котоый решили искусственноинтеллектники - это круто.

[spamsink]

Подразумевается, что это именно решение, которое быстрее, чем экспоненциальный перебор. :)

[stas]

Геометрия для них должна быть проще всего. Там в основном надо все углы да стороны да пересечения аккуратно считать, и пару теорем знать. Для какой-нибудь прологообразной системы вывода это - семечки.

[juan-gandhi.livejournal.com]

Да нет, геометрические теории - это не так тривиально, как кажется.

[spamsink]

Насколько я понял, нетривиально там выведение данных, отсутствующих в тексте, из картинки.

[amigofriend.livejournal.com]

Будет теперь для ЭйАев affirmative action?

[stas]

А, это да.

[spamsink]

Когда научатся каким-нибудь командным спортом с мячом заниматься, может, будет.

[occam-aga.livejournal.com]

Кем подразумевается?

"A SAT-solving engine is now considered to be an essential component in the EDA toolbox."

Кем то подразумевается и что задача, не в общем случае, решена.

А вспомнил, у нас курсовой проект такой был. Там было несколько NP-complete на выбор.

[spamsink]

А ради чего бы тогда это новость была, если ничего не подразумевать? SAT-solving engines, естественно, имеют слабые места, и иногда производят видимый невооруженным глазом субоптимальный результат.

[occam-aga.livejournal.com]

Ну можно подразуметь, что нейросеть самообучается, а потом распознает идентичные или очень похожие данные.

Да я не о том вообщето, а о том что решать школьные задачки по геометрии это более многообещающе чем какая-нибудь оптимизация NP-complete решателя. NP-complete их никто не может решать ни люди, ни машины. Там скорее всего прогресса не будет или вообще никогда или тогда, когда появится strong AI. А если сегодня ЕГЭ одолели, то завтра глядишь и диссертации докторские будут писать.

[spamsink]

ЕГЭ и диссертации - два принципиально разных рода деятельности, по крайней мере что касается естественных наук. А по болтологиям вон, уже сейчас корчеватель такое напишет, что аттестационной комиссии будет проще утвердить, чем признаться, что ни черта в "умном" тексте не понимают.

новости искусственной интеллигенции

[livejournal.livejournal.com]

User spectat referenced to your post from новости искусственной интеллигенции (http://spectat.livejournal.com/696160.html) saying: [...] в Искусственно-интеллектуальное [...]

[spectat.livejournal.com]

Очень интересно. Спасибо.