А
а то есть ты предлагаешь на неформальном языке формальную хуйню описывать
Size: a a a
2021 March 18
p
она не допустит
Кек
А
ну удачи, лол
b
Кек
даже сегодня нейронные сети умеют генирировать доказательства в логике первого порядка
p
На переводе из неформальных требований в формальные куча подводных камней
b
а то есть ты предлагаешь на неформальном языке формальную хуйню описывать
и это будет работать
p
Не ошибётся, ага
b
все то, на что ты дрочишь там будет в коробке
А
и это будет работать
ага, конечно
b
программа–как–доказательство
p
даже сегодня нейронные сети умеют генирировать доказательства в логике первого порядка
Доказательства это чистая дедукция
b
программа и ее доказательство будет генерироваться тупо из твоего описания
p
Там можно и перебором пытаться сделать, только времени много будет занимать
b
достаточно прочитать доказательство чтобы убедиться что программа все правильно поняла
b
я не понимаю с кем ты споришь
b
ты не со мной споришь, ты с машинным обучением пытаешься спорить
b
матрицы делают бррррр
p
ты не со мной споришь, ты с машинным обучением пытаешься спорить
Да, машинное обучение крайне примитивно на сегодняшний день
p
Что-то более менее сложное требует нереальных вычислительных мощностей
b
Человек, ты действительно до сих пор веришь что в твоем ремесле есть что–то такое, что Машина не может осилить? ты просто переводчик