Использование систем искусственного интеллекта для содействия созданию математических доказательств, а также сопутствующие вопросы проверки, прозрачности и атрибуции авторства.
25 ведущих математиков, все обладатели медали Филдса, подписали открытое письмо, предупреждающее, что гонка лабораторий искусственного интеллекта за решением известных задач угрожает атрибуции идей и прозрачности исследований. Это происходит на фоне усиливающихся разногласий между OpenAI и академическими исследователями по вопросам документирования, публикации доказательств и использования работ исследователей.