Category: технологии

Category was added automatically. Read all entries about "технологии".

Нейросеть интегрирует и решает дифуры

Когда говорят, что компьютерная программа что-то проинтегрировала, обычно имеют в виду численное интегрирование, т.е. вычисление числового значения интеграла путем непосредственного или немного оптимизированного подсчета клеточек под кривой. Недавно двое сотрудников "Фейсбука", предположительно французской национальности, научили нейросеть делать символьное интегрирование, т.е. по формуле исходной функции получать формулу функции-интеграла. В принципе, это умеют делать и традиционные математические пакеты, но гораздо хуже, чем получилось с нейросетью. Правильности решения нейросеть не гарантирует, она просто генерирует догадки, первая из которых верна с вероятностью более 90%, а в первых 50 содержится правильная с вероятностью более 99%. Из-за особенностей представления формул нейросеть различает, например, 2+2 и 4, из-за этого иногда получается, что пользователь получает в качестве догадок большой набор эквивалентных формул, при этом нейросеть понятия не имеет, что такое эквивалентные формулы, ее таким вещам не учили. Вот, например:



Этот пример относится к другому эксперименту, где нейросеть не интегрирует, а решает дифуры, хуже, чем интегрирует, но тоже годно.

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

Нейросеть подделывает голоса



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

Технический прогресс у обезьян



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

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

Первые признаки орудийной деятельности капуцинов в исследованном районе относятся примерно к X веку до н.э. В это время обезьяны кололи какие-то мелкие орехи маленькими камешками, одни и те же камешки использовались то как молотки, то как наковальни. В XIV веке н.э. какой-то обезьяний гений изобрел более продвинутую технологию, изображенную на фото к посту - камни берутся не какие попало, а специально собираются на дне ручья, где есть подходящая галька, и приносятся к месту колки орехов. В качестве молота выбирается большой камень, удобно ложащийся в руку, в качестве наковальни - очень большой плоский камень. Эта продвинутая технология позволяет раскалывать орехи кешью, которые предыдущим способом не расколоть. К XVIII веку эту технологию довели до совершенства, а около 1960 г. кто-то сообразил, что деревяшка в качестве наковальни удобнее, чем камень. Такой прогресс.

Нечто новое

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

Грузчик от Boston Dynamics

Компания Boston Dynamics, о которой я много раз писал, представила публике робота-грузчика:



Противовес на жопе робота удивительно похож на лобковую кость тираннозавра.

Эмбрион скайнета познает StarCraft



Я несколько раз писал про созданный компанией Google эмбрион скайнета, который играет в го и шахматы лучше всех людей и, возможно, полностью познал обе игры. Теперь очередная версия этой программы познает StarCraft и уже научилась играть на уровне лучших человеческих игроков. Не вполне понятно, насколько достижения программы можно считать честными - она кликает быстрее и точнее, не пропускает малозаметные действия противника, а в скоротечном бою безупречно точно распределяет огонь многих юнитов между многими целями. Разработчики наложили на робота множество ограничений, чтобы затруднить ему пользоваться естественными преимуществами компьютера в микроменеджменте и увеличить важность стратегических решений, но получается не очень хорошо. Например, когда роботу запретили постоянно видеть всю карту, он принялся скроллить со страшной скоростью, пришлось тоже запретить. Фактически, интеллект робота работает не против человека-противника, а против человека-разработчика, требующего от робота честной игры, а робот эти ограничения изобретательно обходит. По-моему, это говорит об интеллекте робота больше, чем любые игровые успехи.

А еще робот научился у людей нелепой привычке повторять команды юнитам, типа: иди туда, иди туда - два щелчка мышкой в одно место, а иногда и более двух. Люди так делают от нервов, а отчего так делает робот - непонятно.

UPD. Игроки, с которыми соревнуется этот робот, тоже не совсем люди. Здесь, например, во второй половине видео это хорошо видно.

Валуев среди быков



В Австралии на одной ферме живет бык по имени Кникерс, его вес составляет около 1400 кг, это больше, чем у самых крупных бизонов, и типично для суматранских носорогов. Первоначально Кникерса откармливали на мясо, но забить не смогли, он не помещался в технологическую линию. Так он стал вожаком стада. Кникерс принадлежит к совершенно обычной голштин-фризской породе, его родители, по всей видимости, были обычными быком и коровой. Какая мутация заставила его вырасти до таких размеров - неизвестно, никто не изучал.

"Технология повышенной опасности" отладилась

Технология повышенной опасности отладилась. В условиях спора Виктора Павловича с Анжелой устранилось внутреннее противоречие, 50 кг кокаина превратилось в тонну паленой виагры и еще кое-что подправилось по мелочи.