Внутренняя модель OpenAI Astra решила 10 открытых математических задач, над некоторыми из которых математики работали около полувека. Компания опубликовала доказательства и подробные записи хода рассуждений модели. Все решения формализовали в Lean — языке, который позволяет машине проверить корректность математических теорем. На поиск десяти решений ушло около $2000 в токенах.

Главным результатом стала конструкция, доказывающая существование несофических групп. Она закрыла вопрос, остававшийся открытым с 1999 года. Astra также опровергла гипотезу жёсткости Конна, решила гипотезу Эрхарта об объёме и задачу Эрдёша №183 о мультицветных числах Рамсея.

Мало что понятно, но звучит круто 😧

Гослинг просто захотел стать супергероем и сделал это. Глава Marvel Кевин Файгисам рассказал, что Райан сам принёс студии идею фильма о Призрачном гонщике — актёр пришёл с конкретным видением героя и комиксами, которые хочет взять за основу.

При этом Гослинга давно хотели уместить во вселенную Marvel, но просто не совпадали графики: в последние годы Райан снялся в крупных проектах — от «Барби» и «Каскадеров» до «Проекта „Конец света“». Сейчас он участвует в съёмках «Звездных войн: Звездный истребитель».

Надеемся, что он пришёл в офис с зубочисткой 😐

«Человек-паук: Новый день» собрал $875 млн за первый уикенд. Из них $355 млн в США — второй результат в истории после «Мстителей: Финал» с $357 млн. Также «Одиссея» Нолана идёт к миллиарду — фильм собрал $911 млн в мире: $395,5 млн в США и $515 млн за рубежом.

Два фильма вместе помогли установить общий рекорд кассовых сборов кинотеатров США за выходные — более $425 млн.

Получается, что сейчас очередная прайм-эра кинематографа 👍

Трамп выиграл сразу два турнира по гольфу в собственном клубе Trump National Golf Club Bedminster в Нью-Джерси. Президент США забрал победу и в клубном чемпионате, и в главном турнире.

В этом мире всё проще, когда ты Трамп 😧

В сети показали первый пост от Трампа за $100 тысяч 😂