 #лол
 20 декабря в 22:38
3 |
|
|
|
Это же все задачки с известными ответами, да? Я имею в виду, в бенчмарках. Это совсем другое дело по сравнению с тем, когда задачка задаётся нечётко, или когда никто ничего не понимает, и задачу люди ставят сами себе. Математика хороша тем что всегда есть ответ, если ты можешь задать вопрос! Т.е. тебе самому не нужно знать ответ, просто сформулировать это. Ну а так то да, long term planing это все ещё сложно. На ближайшие время скорее всего ИИ будет предлагать 1000 идей, человек будет выбирать что ИИ будет фокусить. Что-то в этом роде Если не известен, то как вообще проверять, что оно нам ничего не наглючило? Proof checker, если написать доказательство в особом языке то можно проверить правильный это ответ или нет. |
|
 |
|
|
Proof checker, если написать доказательство в особом языке то можно проверить правильный это ответ или нет. А вот на этом месте я бы напомнил про ту самую теорему Геделя о неполноте.1 |
|
|
|
|
Не имеет значения на практике
|
|
Включить тёмную тему
Популярное
VKontakte
WhatsApp
Telegram
