M
Вот так AI уже умеет в символьную математику
https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations/
https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations/
Size: a a a
2020 January 15
AK
MaxGraey
Вот так AI уже умеет в символьную математику
https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations/
https://ai.facebook.com/blog/using-neural-networks-to-solve-advanced-mathematics-equations/
Чему равен квадратный корень из X? - Где-то сэм, восэм...
M
Чему равен квадратный корень из X? - Где-то сэм, восэм...
Правильный ответ ~III.XIV
AK
А ведь так можно и транслятор запилить
AK
Такие-то куски входного текста соответствуют таким-то кускам выходного
AK
Самое классное - некорректных программ не будет, компилятор сам додумает что имелось в виду :)
FO
Такие-то куски входного текста соответствуют таким-то кускам выходного
Брр... Не удобно так делать. Я пробовал
DP
а в чем смысл использования статистических методов, если символьный GOFAI уже в конце 80х прекрасно с такими вещами справлялся?
AT
Dmitry Ponyatov
а в чем смысл использования статистических методов, если символьный GOFAI уже в конце 80х прекрасно с такими вещами справлялся?
У нас есть 2 класса систем: которые распознают рукописный/ротонаговоренный ввод (нейронки) и которые хорошо решают задачи (Wolfram Mathematica и т.д.). Хочется всё в одном флаконе.
DP
У нас есть 2 класса систем: которые распознают рукописный/ротонаговоренный ввод (нейронки) и которые хорошо решают задачи (Wolfram Mathematica и т.д.). Хочется всё в одном флаконе.
а нейронка backtracking способна реализовать для поиска решений?
EZ
Ну пока что вольфрам слил причем довольно неслабо на конкретном классе задач
AK
Брр... Не удобно так делать. Я пробовал
Зато мы наконец-то вернемся во времена, когда пробелы/пустые строки/комментарии влияли на эффективность и корректность программы
FO
Зато мы наконец-то вернемся во времена, когда пробелы/пустые строки/комментарии влияли на эффективность и корректность программы
Мне хватило работы препроцессора Си на сорцах Фортрана в gcc
AK
Ну, «универсальная» среда разработки на основе нейронки уже была. Теперь осталось только блокчейн в компилятор воткнуть
E
у нас МЛ юзается для подсказчика в иде теперь + на гитхабе МЛ для автоматической сортировки ишьюзов :)
E
еще бы в инлайнер завести
2020 January 16
AT
Dmitry Ponyatov
а нейронка backtracking способна реализовать для поиска решений?
В некотором смысле и в некоторой степени - да. Я знаю про LSTM, наверное и более продвинутые в этом отношении есть.
BD
Типа Arm ранних версий.
Ранний арм нинужен, современный ничем не проще x64
BD
Если создавать более менее универсальный кодогенератор то надо целиться хотя бы в три архитектуры, что то типа x86_64, aarch64 и например wasm