Внутренняя (еще неопубликованная модель) OpenAI смогла найти контрпример к гипотезе Эрдёша https://www.erdosproblems.com/90. Эта проблема до сих пор считалась нерешённой.
Чтобы решить её сотрудники OpenAI создали процедуру, в начале которой ИИ генерировал возможные примеры, а потом эти примеры автоматически проверялись другим ИИ на достоверность. Когда был найден пример с высокой достоверностью, его вместе с пояснением от ИИ, отправили специалистам в этой области.
Математические подробности тут: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
Перемещено hobbit из ai
