|
|
| Некто написал, |
Если ты посмотришь подробности по ссылке, там видно как это работает уже сейчас
Interestingly, the proof contained some minor errors in it, but the AI tool Aristotle was able to automatically repair these gaps and produce a Lean-verified proof.
и т.д.
Interestingly, the proof contained some minor errors in it, but the AI tool Aristotle was able to automatically repair these gaps and produce a Lean-verified proof.
и т.д.
Добавить комментарий:
