Учёные нашли вторую Землю — планета LHS 1140-b находится в 48 световых годах от нас.

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

Следов биологической жизни на ней пока не обнаружили.

Готовлю имбулю

OpenAI спалили название следующей модели, Astra. И вместо скринов бенчмарков показали то, что реально цепляет: внутренняя версия сама решила 10 математических задач, над которыми люди сидели по 10, а кое-где и по 60 лет.

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

Меня в таких новостях обычно бесит одно: модель насочиняла текст, похожий на доказательство, и все побежали кричать про прорыв. Тут не тот случай, всё прогнали через Lean, формальный проверщик, там либо валидно либо нет, красиво написанная чушь не проходит.

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

Дата релиза пока неизвестна. Судя по всему, это будет первая модель, которую перед выходом прогонят через проверку властей США, а не просто зарелизят и посмотрят что будет.