История изменений
Исправление snizovtsev, (текущая версия) :
У кого надо - нет никаких «галлюцинаций», и все достоверно.
Когда нейронки будут генерировать не просто правдоподобно выглядящий код, а машинные пруфы в каком-нибудь Lean4 – тогда успех можно окончательно констатировать. Но пока почему-то никто даже не пытается сделать такую демку (видимо выходит не очень), и всё это разговоры.
Исходная версия snizovtsev, :
У кого надо - нет никаких «галлюцинаций», и все достоверно.
Когда нейронки будут генерировать не просто правдоподобно выглядящий код, а машинные пруфы в каком-нибудь Lean4 – тогда успех можно окончательно констатировать. Но пока почему-то никто даже не пытается сделать такую демку (видимо выходит не очень).