Читаю разборки топовых американских математиков, как они друг друга хейтят "у тебя давно деменция" )))

Но в целом они сейчас реально объединяются категорически против AI, очень многие подписали Лейденскую декларацию:

"Компании, занимающиеся AI, и особенно MathInc ("Dedicated to verified superintelligence via autoformalization. Solve math, solve everything."), действительно подвергнут математику тщательной бомбардировке, чтобы превратить её в гигантскую радиоактивную пустошь, на которой больше никогда не сможет существовать жизнь, поэтому мы никогда не получим ожидаемых преимуществ от формализации математики."

На днях в военном агентстве передовых исследований DARPA прошёл семинар в рамках проекта expMath

"The goal of Exponentiating Mathematics is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions."

где присутствовал ряд этих академиков, и вот их итоговое мнение по обсуждению данной темки:

"это не было хорошо для военных; это не было хорошо для математики; это не было хорошо ни для кого."

"Математики больше не смогут участвовать в коллективных исследованиях, потому что любой открытый проект будет быстро завершён AI-агентами из конкурирующих компаний"

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

Ну а мы продолжаем заниматься формализацией всего программирования с целью его скорейшего превращения в "гигантскую радиоактивную пустошь, на которой больше никогда не сможет существовать жизнь" 🤓

на картинке: 216 символов, опровергнувшие гипотезу Римана (ai нашёл таки контрпример, реально иголку в стоге)