 |
вчера в 15:12
|
|
MonkAlex
И там же какой то скандал, что ровно этой же задачей занимались живые люди используя ИИ. Оспаривание первенства – обычное дело в науке. В данном случае сам результат гораздо важнее того, кто и какими ресурсами первым его достиг. Marlagram Боюсь, что там 200+ страниц формул в специфической нотации будет... Затем и нужен математик высокого класса (а, вернее, их коллектив). Теmр На проверку кожанными, правда раз в 10 больше времени может уйти) Там не слишком сложная (для задачи такого класса) форма у решения, да и Lean как инструмент достаточно понятен для знающего человека (я к ним не отношусь, но мои коллеги-математики утверждают такое вполне уверенно). Pinhead Хрен знает, что оно там насчитает. Так аналитическое решение сравнительно легко проверяется человеком от и до. "Сравнительно легко" – в смысле, топовым научным коллективом за несколько недель, но тем не менее. Для задачи, которую не могли решить двести лет, это очень и очень быстро.1 |
|
Включить тёмную тему
Популярное
