(arXiv:2607.18619) исследователя из Microsoft описывает альтернативное доказательство теоремы о четырех красках с использованием GPT-5.6 Sol. Кроме того, arXiv:2607.18655 связан с Claude Fable 5, а в arXiv:2607.19675 описано доказательство с использованием OpenAI Codex, со ссылкой на задачу 1964 года. Другие работы включают полученную с помощью ИИ оценку для гипотезы Де Джорджи (arXiv:2607.18174) с погрешностью O(T^-1), статью по модели SYK (arXiv:2607.18998) с использованием GPT-5.6 и доказательство существования периодической орбиты для бильярдов в многоугольниках Джованни Форни (arXiv:2606.10102). Автор также упоминает свою собственную работу с использованием GPT.