OpenAI решает проблемы Эрдеша и новые прорывы в математике

Несколько вестей и комментариев:

1/ OpenAI решили одну из проблем Эрдеша. Это прямо хорошо. Очень хорошо. У меня не было пока времени вникать в решение, надеюсь кто-то запостит норм обзор (не из тех кто комменты давал для блога OpenAI). Но в целом многие говорили, что именно проблемы Эрдеша будут штурмовать. Так как задача по сути комбинаторная и я тут как-то писал, что в такого рода задачах где надо делать сложные глубокие гипотезы о структурах будет много прорывов. Кайф! Настоящий ассистент. Интересно много ли таких задач.

2/ На тему математики крайне рекомендую вот эту статью на Substack. Заодно если достаточно народу подпишется может туда длиннопосты буду дублировать. Статья про то, что математика создает новые способы познания и перебором говорят их не обнаружить. Или то, что доказательства не есть цели математики. Очень большой текст, кому лень прочтите с LLM.

3/ Anthropic платит xai по ярду в месяц за мощности. Норм.

4/ Карпаты перешел в претрен команду туда, где платят по ярду за мощности Илону. Явно за баблом.

5/ говорят скоро Claude mythos

Подписывайтесь на Telegram ChillHouse.