axiom

Пока одни чатились с нейросетью, другая система взяла и доказала настоящую теорему. Пять лет назад математики Давэй Чэнь и Квентен Жандрон работали над сложной задачей из алгебраической геометрии, связанной с дифференциалами, то есть инструментами анализа, которые помогают измерять...