Интересный ролик для тех кому это будет понятно. Да, ниже будет ссылка на ютюб, поэтому тем, кому это доставляет неудобство и кого от этого коробит - просьба не смотреть это видео.
Ниже перевод комментария к видео
Что происходит, когда человек с самым высоким IQ в мире (220-230) говорит о будущем математики?
Теренс Тао, австралийский математический гений и лауреат престижных премий, в том числе премии короля Фейсала, шокирует своим мнением на взаимосвязь человеческого интеллекта и искусственного интеллекта. Как изменится математика, когда компьютеры начнут решать олимпиадные задачи лучше людей?
Почему даже гений признает, что будущее за сотрудничеством человека и машины? В этой уникальной лекции на IMO 2024 Тао расскажет о том, как искусственный интеллект уже трансформирует математические исследования, и поделится своим личным опытом использования ИИ в своей работе. Готовы ли вы узнать, почему даже для человека с IQ 220 некоторые задачи становятся проще с помощью искусственного интеллекта?
Комментарии
"Как изменится математика, когда компьютеры начнут решать олимпиадные задачи лучше людей?"
Дурь какая-то.
А что будет, когда компьютеры станут ставить задачи, которые не смогут решить компьютеры?
Когда-то считалось, что компьютер не сможет выиграть у человека в шахматы, потом в игру Го. Но это уже пройденные этапы.
но компьютер создал человек и человек ему дал алгоритм выигрыша
так что ... :)
Теперь компьютер будет решать задачи, которые не может доказать человек
почему не может ...очень даже может
только с машинкой (калькулятором) это будет быстрее
и вот "выиграл" компьютер...и что?..где отразился этот успех...где изменения в нейрофизиологии "победившего" робота-компьютера?..а он вообще "знает" что выиграл?..
это тупой инструмент человечества - без эмоций и страстей...
Интересный ролик, спасибо.
В любом случае, даже если я действительно понял малую часть из того, что он говорил, хотя он очень старался втолковать, это было неожиданно и интересно.
Давеча тоже смотрел математика и он утверждал ровно обратное. Дескать Искусственный Идиот может колоссально помочь в решении некоторых типов задач. Но сам ставить задачи, которые нужно решать, не способен.
В данном случае задачи ставит человек, но решить их самостоятельно не может. А вместе с компьютером получается
Зачем человеку ответ на задачу, решения которой он не понимает и проверить не способен. В этом случае гадание и то представляется более точным, чем предложенный ИИ ответ. Ну будет у Вас 2+2=5 и что?
Задачи человеку ставит Природа.
И насчет "не понимает": он как раз говорил, что есть специальный алгоритмический язык Lean, позволяющий проверить это доказательство, это первое, и второе - позволяющий разбить доказательство длиной в сотни страниц на элементарные связанные этапы, которые может понять и осилить почти каждый
Ну, я бы может и поверил, если бы Lean остался просто помощником по доказательствам, а не желал бы стать языком программирования, умеющим ещё и в доказательства. Эту кашу невозможно будет запихнуть назад и сотни страниц кода, легко обосновать в нереальные для человеческой жизни миллиарды лет доказательств.
Зачем человеку: молоток, пила, стамеска, циркулярка, отбойный молоток, бульдозер, экскаватор, и т.п.? Можно вопрос упростить: зачем человеку инструменты, если он в состоянии решить базовые проблемы и без них? А потом спросить: является ли компьютер и его артефакт ИИ природным автономным феноменом или это инструмент от человека и для человека?
Весь хайп вокруг ИИ имеет чисто маркетинговую природу для развода лохов на увеличенные инвестиции. Сначала взбаламутить, а потом ловить голыми руками рыбку в мутной воде. И никаких удочек с динамитом...
Ролик замечательно демонстрирует отсутствие корреляции между IQ и интеллектом.
Возможно, он просто настолько умнее среднего человека, что может казаться, что он несет дичь и бредит )
Примерно такая же история, как я понимаю, была с Лениным, который не утруждал себя доказательствами. Просто соратники должны были верить, и все выходило как надо
В современных маркетинговых "ИИ" смешались и решатели с экспертными системами, и текстогенераторы.
Причём логику работы почти никто не понимает, все смотрят на конечный результат. В результате чего текстогенераторы вознеслись на космический пьедестал, и ими стараются заткнуть каждую дырку, а если дырки нет - нужно провертеть и заткнуть.
Поэтому слушать как "ИИ" который - вероятностный текстогенератор - чего-то там, - смешно.