Где найти достоверные источники о прорывах ИИ в математике?

Пользователь Reddit запрашивает проверенные источники о заявленных прорывах ИИ в математике: решённые уравнения, новые доказательства, верифицированные результаты. Автор хочет отделить реальный прогресс от хайпа и получить ссылки на статьи, препринты и официальные анонсы.