ИИ помог найти два доказательства одной криптографической задачи

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