Доказательства OpenAI отошли от правил группы математиков

OpenAI выпустила поток математических доказательств, которые отклонились от рекомендаций группы исследователей-математиков, консультировавших лабораторию. Об этом пишет Tim Fernholz, других источников по теме у нас нет.

В исходном тексте не указаны количество доказательств и период публикации. Из материала не следует, какие последствия это будет иметь для лаборатории или рынка.