Великая теорема Ферма: ИИ помогает формализовать и проверить доказательство
Британские математики вместе со специалистами по машинному обучению решили поручить искусственному интеллекту крайне нетривиальную задачу — формализовать и проверить доказательство великой теоремы Ферма. Речь…








