Американская школьница опровергла гипотезу, которую математики пытались доказать 40 лет

Вот, до чего доводит пандемия...

Если всё так, то девчонка молодец!

Но не получится ли, что через некоторое время объявят, что она использовала какую-нибудь новую версию ИИ способного к математическим рассуждениям?
Не начало ли это пиар-компании какого-нибудь ИИ-разработчика?

IMHOTAK писал(а):

Но не получится ли, что через некоторое время объявят, что она использовала какую-нибудь новую версию ИИ способного к математическим рассуждениям

Использовала, конечно. А сами так называемые "ИИ" выросли из разработок систем автоматического доказательства теорем.

IMHOTAK писал(а):

Не начало ли это пиар-компании какого-нибудь ИИ-разработчика?

На таком пиар не сделать. Слишком мелкая задача. Из разряда "неуловимых Джо", потому ранее и не доказанная/опровергнутая. Таких гипотез 100500 штук, придумываются они каждый день только ради присвоения им имени очередного честолюбивого математика (западная эпонимофилия сказывается, однако), и тратить время и силы на доказательство их всех — пустое расточительство ресурсов. Поэтому они десятилетиями числятся гипотезами, пока у какого-нибудь энтузиаста руки не дойдут проверить. Или пока нормальный автомат доказательства теорем не появится, который сам без помощи людей всё проверит.

А так да, девчонка молодец — в 17 лет сделала работу на уровне этак 20-летнего 3-курсника хорошего физмат-вуза. Года на 3 программу опережает.

ну не все тупые американцы
молодец девочка

Приятно слышать, молодец!

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

Больше пандемий хороших и разных для devochek...
Больше всего в ее доказательстве мне понравились деревца, цветочки и чашечка.

Пусть девочка Ханна лучше опровергнет полет американцев на Луну.

пс. Она не американка. Она эмигрантка с Багам. В статье противоречие - Нассау это город на Багамах.
«Мне потребовалось некоторое время, чтобы убедить Жуйсян Чжана в том, что мое предложение действительно верно», — говорит Каиро. То есть опровержение далось девочка большой кровью - Жуйсян долго не убеждался, а с ним и другие математики (то есть вовсе не "в математическом сообществе с восторгом отреагировали на доклад Ханны"). В оригинале статьи (которая почему-то не из американского, а испанского издания "Паис") интереснее об этой истории...

Урок математики в в Грузинской школе. Вызывают Гиви к доске.
-Гиви докажи что треугольник равнобедренный.
-Мамой клянусь равнобэдренный.

dimitriy7 писал(а):

Таких гипотез 100500 штук, придумываются они каждый день ... и тратить время и силы на доказательство их всех — пустое расточительство ресурсов. Поэтому они десятилетиями числятся гипотезами, пока у какого-нибудь энтузиаста руки не дойдут проверить. ... в 17 лет сделала работу на уровне этак 20-летнего 3-курсника

Каких только диванных свет за последнее время не видывал - и воинов, и историков, и филологов - а диванного математика ещё, кажется, не было.

maldoror666 писал(а):

пс. Она не американка. Она эмигрантка с Багам. В статье противоречие - Нассау это город на Багамах.

Тогда получается британская школьница. Поскольку Багамские острова - британская колония.
Если что, про т. н. "независимость" Багамских островов - я в курсе. Но тут как раз тот случай, когда от них - этих самых Багам - именно ничего не зависит.

Эпо́ни́м — лицо, от имени которого образованы имена нарицательные или другие имена собственные.

Очень интересно, но, к сожалению, нифига не понятно... Можно для чайников - в чём суть теории?

Тов. Ruixiang Zhang, руководитель, с которым якобы было много споров, явно вложил немало сил, но при этом благоразумно остался за кадром, ему хватило благодарности в тексте препринта. А его вложение можно оценить и по списку литературы, и по теховскому коду препринта (см. преамбулу там, это не дело новичка), и по эндорсменту ученицы в архив, и по ее регистрации в ORCID и Google Scholar. Думаю, как старший соавтор юного таланта он выиграл бы гораздо меньше, чем вот так, как скромный руководитель, ему еще свою карьеру делать, он пока еще только "ассистент", но уже учитель знаменитости. В презентации странички в клеточку с цветочками и деревцами тоже не лишние, подчеркивают пол и возраст, это ценнейший капитал в карьере современных молодых математиков -- быть женщиной, 100 очков форы. О карьере 17-летняя девица уже думает не по летам, тоже кто-то ей объяснил, вот что она пишет "Info for my students. Feel free to email me! Making time for students is important to me " Студенты у только что поступившей в универ? Понятно, работа со школьниками, т.е. педработа с младых ногтей, в университетской карьере потом еще 100 очков плюс. Вот примерно такие краткие наблюдения на небольшом доступном материале. З.Ы. Это не первая юная математичка с таким стартом карьеры, все делается грамотно и технично.

Именно, про ии мне и пришло в голову…
Но только с обратной стороны..
“Завтра” уже не понадобятся гении, и не только в математике…