2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 Генератор текстов (из Новостей ИИ)
Сообщение13.11.2019, 21:18 
Заслуженный участник
Аватара пользователя


11/12/05
9592
Кентакска волост
photon в сообщении #1425811 писал(а):
Иногда выдает феерические результаты
Вбил туда началo битловской песни Let It Be. Результат:
Вложение:
ltb.jpg
ltb.jpg [ 124.32 Кб | Просмотров: 0 ]

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:21 


10/03/16
2098
Aeroport
photon в сообщении #1425811 писал(а):
феерические результаты:


Я: Sadaco is coming for you!
Completion: Sadaco is coming for you, all of you, and you don't even know it."

Это еще самое вменяемое: несколько первых раз оно выдавало отрывок записи чата в какой-то онлайн игре, затем отрывок из какой-то современной фантастики. Обратите внимание на закрывающуюся кавычку, для которой нет пары. Похоже, текст не генерируется, а подставляется подходящий кусок из найденных.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:21 
Заслуженный участник
Аватара пользователя


15/10/08
10065
Креативный доводчик в действии...

(Оффтоп)

Цитата:
Fish swim along the bottom of the Atlantic Ocean, sometimes with sharks following close behind. This is how they got to the ocean in the first place: They swam from Greenland and then were picked up by a giant floating glacier.

In the years since, they've found their way into various places, including Lake Erie and Lake Ontario, and even Antarctica, where they've been recorded as far south as the Antarctic Peninsula.

Now, in a new study, they've discovered that the fish travel in a way that makes them uniquely suited to the colder regions of the world, where temperatures are higher. The fish live in colder waters, where they are surrounded by ice, and they're adapted to that environment. But they also live in more open water, where there are warmer waters.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:22 


10/03/16
2098
Aeroport
То же самое у Dan B-Yallay. Ожидал большего :-( :-( :-(

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:38 
Заслуженный участник
Аватара пользователя


15/10/08
10065
Запузырил туда ещё:

The fly is also a helicopter...

(Оффтоп)

Цитата:
The fly is also a helicopter because it is a helicopter, and has a different shape and a different shape that is different from a helicopter. It's an aeroplane. A helicopter has a rotor, a fixed wing. And we don't want that. We don't want to have the same shape. So we are going to go down the aeroplane route. That's not to say that we're not going to get in there and fix some of the issues of the ground crew, but the ground crew is going to fly. They're going to do what they're going to do, and we'll get out of there as quickly as we can, and get back into the business."

So, for now, the Air Force's F-35s will fly, but not with the ground crews who are supposed to fly them. The problem will be taken care of by a third party contractor, according to the Air Force.
(это второй результат - они меняются, ага! - первый был более вменяем. Муху там сравнивали с дроном.)

Little boy walked on a construction site...

(Оффтоп)

Цитата:
Little boy walked on a construction site, and a worker struck a heavy piece of metal and hit him with a pickaxe. The worker then took the boy by the hand and ran with him until he dropped. When the boy was found, he was bleeding from his head and chest."

A young boy was brought to a police station and treated for serious head injuries. After the boy was discharged, the boy's father was arrested. The child has now been returned to his family.

"We must continue to act in a strong manner and protect children from those who would abuse them, but it is vital that the law is followed," said the mayor.

"We are determined that nothing shall go unpunished, and we will continue to prosecute those responsible for such heinous crimes."

The mayor said the police, the health authorities, and others are committed to tackling the problem.
(я не особо надеялся на появления самосвала, но результат тематически близок)

All Gaul is divided into three parts...

(Оффтоп)

Цитата:
All Gaul is divided into three parts, each of which has its own language, dialect, culture, religion, and customs. The language of the Roman empire is spoken in the northern part; the Latin is spoken in the south; the Gallic tongue is spoken in the country between the Rhine and the Danube, and has its own peculiar customs and languages. It is also called the Gallic tongue. All the Roman languages have one origin, and are spoken of by the Roman historians as the Gallic tongue, from its origin. The Gallic tongue is also called the Latin tongue. Its origin is the same as that of the Roman language; it was the language of the Galli, which is to say, of the Romans. It was adopted by the Gallo-Romans, and their language is called the Gallic language. All the Latin languages are spoken in the countries and districts which are between the Rhine and the Danube, that is, in the Gallic territory
(Мог бы так написать Цезарь?)

Весёлая штуковина.

P.S. А уж если попытаться задать туда что-то математическое... То будет Ой.

ВТФ.

(Оффтоп)

Цитата:
We prove Fermat's great theorem by using a variety of examples and proving them with only three simple formulas. This book contains the proofs of the four formulas in the following order:

Theorem 1: All $n = 2 n$ is a multiple of $n$, so $n = (n + 1)n$.

Theorem 2: Any sequence of natural numbers is a cycle.

Theorem 3: Any integer $n$ is a multiple of $2 n$.

Theorem 4: Any integer $n$ can be expressed in two different ways: as a sum of two squares and as an even-odd digit sequence.

Proof. The proofs of Theorem 3 and 4 are fairly complicated, but not nearly as complicated as the proof for Theorem 1. Consider the numbers $2, 4, 6, ..., n$. Let us begin with the sum $(2)(3) + (4)(5) = 12$. There is a contradiction, since $2 + 4 = 12$ is not a...
(дальше, видимо, не хватило полей...)

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:49 


14/01/11
2677
It is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second, into two like powers.
Цитата:
For as the numbers of powers increase, the number of powers will be increased to the same extent and vice versa. For example, the numbers of powers of $10$ are $2, 3, 4, 5, 6, 7$, and $8$. So $10 \times 2 = 16$, and $10 \times 3 = 32. \;10 \times 4 = 64$, and $10 \times 7 = 128$. Therefore, there is a difference of $8$ powers, or a cube, into two cubes, or four powers of two into two powers of $4$, or four powers of $4$ into two powers of $8$, or any other power of a higher power into two powers of a lower power.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 21:54 
Заслуженный участник
Аватара пользователя


15/10/08
10065
Sender
На длинных "зародышах" его клинит. Лучше рубить короткими фразами. (мнение)

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 22:02 


14/01/11
2677
Кроме шуток, попытки применять нейронные сети для доказательства теорем и впрямь имели место. Например, https://arxiv.org/abs/1608.02644
на основе Metamath. Автор пишет, что системе удалось доказать $14\%$ теорем из тестового набора (составляющего порядка одной десятой от всего корпуса формализованных доказательств).

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 22:14 
Заслуженный участник
Аватара пользователя


15/10/08
10065
А временами оно поёт :shock:

Цитата:
The great square has no corners.
And I, my friend, am the square.
I was born on a Saturday,
in the year of the dog.

The day I was born
I was a square.
If I can be a square
My friends can be square too.

But we're all square
And we all look pretty the same,
and we all want the same things,
and we all fight for the same things.

But we're all square.
And we all look pretty the same.
And we all want the same things.

But I won't say
I want to be a square,
because that's so boring.
I won't say I want to be a square.
But that's what we'll do.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 22:39 
Заслуженный участник
Аватара пользователя


16/07/14
5183
Москва
ozheredov в сообщении #1425815 писал(а):
Обратите внимание на закрывающуюся кавычку, для которой нет пары. Похоже, текст не генерируется, а подставляется подходящий кусок из найденных.
Генерируется. И это достаточно умная штука чтобы следить за кавычками - скорее всего либо решила, что вы вбили конец цитаты, либо собралось закончить, но не успело.
Утундрий в сообщении #1425820 писал(а):
дальше, видимо, не хватило полей...
Если интересно - могу запустить у себя и сгенерировать сильно более длинные куски.
Цитата:
Top six mathematicians of all time are:
1.
Henri Poincaré – 1473 - 1492
2. Fermat – 1501 - 1546
3. Gauss – 1646 - 1672
4. Newton – 1642 - 1727
5. Einstein – 1879 - 1905
6. Euler – 1767 - 1832
All have the ability to create mathematical structures which have no known or predicted analogue.
The best of these, Einstein's General Relativity, has proved to be the most profound, and most revolutionary.

Цитата:
Three most popular books are:
1.
The Art of Racing in the Rain by Robert A. Heinlein
2. The Illustrated Man by Jules Verne
3. The Adventures of Tom Sawyer by Mark Twain
The second, third, and fourth most popular books are:
1. The Adventures of Tom Sawyer by Mark Twain
2. The Illustrated Man by Jules Verne
3. The Art of Racing in the Rain by Robert A. Heinlein
Here is a list of the most popular books by year and the amount of copies sold.


Обратите внимание, что модель выдает именно столько пунктов, сколько попросили (хотя для чуть более экзотических запросов "$N$ of something" это уже ломается). И Брэдбери перепутала тоже с фантастом.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение13.11.2019, 22:50 
Заслуженный участник
Аватара пользователя


15/10/08
10065
Перевод стишка с ИИ-йского (доработанный):

(Оффтоп)

Великий квадрат не имеет углов.
А я, ребята, квадрат.
Я родился в субботу,
В год горящих собак.

Когда я только родился,
Я не квадратным был.
Но раз я сумел оквадратиться,
То я не напрасно жил!

Все мы в чём-то квадраты.
Все на одно лицо.
И в силу своей квадратности
Мы образуем кольцо.

Но я не скажу:
– Я хочу быть великим
Квадратом среди других.
Я не скажу, что хочу быть великим,
А тихо закончу стих.


-- Ср ноя 13, 2019 23:51:25 --

mihaild в сообщении #1425838 писал(а):
Если интересно - могу запустить у себя и сгенерировать сильно более длинные куски.
Подозреваю, что сильно адекватнее они от этого не станут.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение14.11.2019, 03:20 


10/03/16
2098
Aeroport
mihaild в сообщении #1425838 писал(а):
могу запустить у себя и сгенерировать сильно более длинные куски.


Так это ваша разработка??

-- 14.11.2019, 03:23 --

Sender в сообщении #1425825 писал(а):
For as the numbers of powers increase, the number of powers will be increased to the same extent and vice versa. For example, the numbers of powers of $10$ are $2, 3, 4, 5, 6, 7$, and $8$. So $10 \times 2 = 16$, and $10 \times 3 = 32. \;10 \times 4 = 64$, and $10 \times 7 = 128$. Therefore, there is a difference of $8$ powers, or a cube, into two cubes, or four powers of two into two powers of $4$, or four powers of $4$ into two powers of $8$, or any other power of a higher power into two powers of a lower power.


Ну, до Пургатория-М ИИ уже вполне дорос )

-- 14.11.2019, 03:26 --

mihaild в сообщении #1425838 писал(а):
1. Henri Poincaré – 1473 - 1492
2. Fermat – 1501 - 1546
3. Gauss – 1646 - 1672
4. Newton – 1642 - 1727
5. Einstein – 1879 - 1905
6. Euler – 1767 - 1832
All have the ability to create mathematical structures which have no known or predicted analogue.


Wait... вот это он тоже сгенерировал сам? После того как вы написали top six? Особенно последняя фраза, она уж очень человеческая

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение14.11.2019, 05:29 
Аватара пользователя


18/12/17
126
В списке "top six" математиков - что значат пары 4-значных чисел после фамилий? Гаусс (Карл Фридрих) родился в 1777 году. Пуанкаре в 1854.

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение14.11.2019, 10:29 


10/03/16
2098
Aeroport
Xmas

А, я то думал это реальные даты, а это еще круче: ИИ не знал конкретных дат, но понимал что от него хотят

 Профиль  
                  
 
 Re: Новости ИИ
Сообщение14.11.2019, 10:31 
Заслуженный участник
Аватара пользователя


01/08/06
2869
Уфа
"Штирлиц не знал азбуки Морзе, но надеялся, что по радостному бибиканью на Родине поймут — задание партии выполнено"

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 41 ]  На страницу 1, 2, 3  След.

Модераторы: maxal, Toucan, PAV, Karan, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group