ИИ доказал квазигипотезу Римана: что дальше?

OpenAI объявила о доказательстве квазигипотезы Римана — ослабленной версии одной из важнейших нерешённых проблем математики. Результат признан самым значительным достижением ИИ в области математики, так как доказательство опирается на выявление скрытых связей между известными идеями без введения новых понятий.