Этот искусственный интеллект генерирует новые математические формулы

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

Рамануджанская машина

Математик завтрашнего дня - это машина? У инженеров Израильского технологического института (Технион) нет никаких сомнений. В отчете, опубликованном в журнале Nature 3 февраля 2021 года, исследователи представили свой «генератор» математических догадок: машину Рамануджана. Однако эти гипотезы - математические предложения, требующие доказательства - являются потенциальной основой теорем. Следует помнить, что теоремы занимают важное место в науке, зачастую позволяя ориентировать исследования на несколько десятилетий.

По словам инженеров, их машина работает с искусственным интеллектом и компьютерной автоматизацией. Это основано на константах, которые, в отличие от переменных, являются фиксированными значениями. Среди известных в научном мире констант мы находим Золотое сечение (примерно 1,61803), число Эйлера (примерно 2,71828) или число Пи (примерно 3,14159). Достоинство машины Рамануджана заключается в использовании констант при построении гипотез. Однако в истории математики редко когда теоремы были получены из констант. Сриниваса Рамануджан (1887-1920), который дал свое имя знаменитой машине, является относительно неизвестным индийским математиком.

Последний, самостоятельно изучив математику, прославился тем, что в конце 19 века разработал теоремы о константах числа Пи и числа Эйлера.

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

С момента своего создания "Машина Рамануджана" уже нашла десятки формул предположений. Некоторые из них неизвестны и связаны с числом Пи и числом Эйлера. С другой стороны, дело в том, что система генерирует предположения, но не дает никаких доказательств. Собственно, это задача математиков-людей. Некоторые из них уже довольно легко доказаны, а другие еще предстоит доказать, предполагая, что последние верны.Источник

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

Витя пришел...

Добавлено спустя 3 минуты 42 секунды:

ViktorUA
"Береги честь смолоду"...."а платье снову"....

я так и не понял,
а кто решает что искусственный интеллект генерирует именно математические формулы ?

Рявкин писал(а):

а кто решает что искусственный интеллект генерирует именно математические формулы ?

я так понял, израильские учёные

Добавлено спустя 1 минуту 3 секунды:

только не формулы а константы может я опять не так говорю.. )

Edison Screw писал(а):

А как на этом можно деньги заработать?
Сейчас вспомнил про Перельмана. Ответ не нужен.

Не понимаю, к какому месту ты его вспомнил? Он же сам отказался от ляма зелени. Ты думаешь они обязаны поступить также?
Не все Перельманы, он такой одын.

Молодцы израильские исследователи, вот пример британским ученым которые который год непонятно какой Цензура

занимаются. А Перельман всем в пример.
Только непонятно, почему они свою штуку сразу не назвали Сринивасарамануджанская машина, если хотели память увековечить? А то мало ли всяких разных Рамануджанов. Как Ивановых или Петровых ...

Цитата:

является относительно неизвестным индийским математиком

Да, к сожалению Митхун Чакраборти известен больше... такая вот фигня.

V.A. писал(а):

Перед смертью нечего будет вспомнить, кроме как всё куда-то бежал, за "лучше", за "больше", за еще "больше". Астановитесь!

Только музыка спасёт мир, остальное всё бессмысленно.

- В колодце сидели кисельные барышни и рисовали множества.
- Множества чего?
- А ни чего, просто множества!
Льюис Керролл.

Интересно, а они хоть красивые эти формулы?

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

Никогда до сих пор не слышал об этом человеке – Рамануджане. Благодарю Михаила за действительно интересную тему. Англичане фильм сделали неплохой об этом математике – “Человек, который познал бесконечность”. Очень жаль, что одаренные люди уходят так рано. Как жаль, что вместе с ними уходят Знания. А машина…

Михаил писал(а):

Израильские исследователи недавно рассказали о компьютерной системе, которая является не более чем "генератором" математических предположений.

Что-то мне подсказывает, что это "калькулятор", действующий по какому-нибудь урезанному алгоритму. Много пены – много грязи. Реклама - питательная среда предпоследней касты. Нет в железяке живого. И не может быть по определению.

Что касается физических констант - это константы, но их значения сильно зависят от выбранной системы мер. Будь-то фут как размер ступни статуи правителя Гудеа Лагашского в XXII веке до н. э., или русский фут в соответствии с Постановлением Правительства РФ от 31 октября 2009 г. N 879, или французский метр, зафиксированный в СИ. Значения всех этих констант "от балды" или от ступни, о чём упомянул выше, или от кончика носа английского короля Эдгара до кончика среднего пальца вытянутой в сторону руки, т.е. в ярдах, но заметьте "королевских", что более подходит для благородных физических констант.

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

rosson2006 писал(а):

эти константы возникают при рассмотрении математических отношений и их значения выражаются числами в определённой системе счисления

число пи, в какой системе счисления не будет уходить в бесконечность?

По основанию "пи". Если не можешь бороться с бардаком - возглавь его!

самая красивая формула математики

iπ
e + 1 = 0

все прочел.ничего не понял.но всё равно спасибо! :респект: