#hyra — Public Fediverse posts

Китайцы тоже могут. Открытый ИИ-агент Tencent сделал то, что не удалось AlphaEvolve, GPT и Claude

На arXiv вышел препринт "Settling the Optimal Exponent Relating Sumsets and Difference Sets" — восемь страниц за подписью Хаовэя Линя из Tencent Hunyuan и Шанды Ли из Университета Карнеги — Меллона. Он ставит точку в вопросе аддитивной комбинаторики, на котором за последний год проверили себя едва ли не все громкие ИИ-системы — от AlphaEvolve из Google DeepMind до GPT и Claude. Ответ нашелся не у них: ключевую конструкцию предложил Hyra — исследовательский агент Tencent, работающий на открытой модели Hy3. Формальная проверка доказательства выложена в открытый репозиторий на Lean 4 — языке для машинной проверки математических доказательств.

https://habr.com/ru/articles/1065592/

#tencent #Hyra #Hy3

#Bostadsmarknaden i #Sverige är ett skämt. Det vet vi. Särskilt i våra 3 största städer.

Ett exempel:
https://omni.se/lagenhet-for-23-000-i-manaden-ratas-trots-bostadsbrist/a/nyo3vx

Låt oss anta att det är 4 sovrum. Det blir alltså 5750kr/sovrum/månad + vatten. För 1 sovrum och delat kök och badrum, om man kan tänka sig inneboende.

Jag har bott i en 5a på 110kvm byggd 1960-tal, totalt ytrenoverad 2019 innan vi flyttade in, hyra 12400kr/mån. inkl. 25kvm uteplats.

Vad får man för #bostadsrätt i Stockholm för 23000/mån?

#Bostad #Hyra