Just links

https://www.nanoswe.com/ community speedrun of SWE-bench Verified

Вчера общался со старшим директором по Data Science в одной компании в Штатах. Оказалось, что именно она была автором той самой модели в Target, которая в своё время отправила купоны со скидками на детские товары в семью, где отец ещё не знал, что его дочь беременна. Той самой, после которой он в ярости прибежал в ближайший магазин Target разбираться: С какого перепуга вы присылаете моей дочери такое (My daughter got this in the mail!” he said.“She’s still in high school, and you’re sending her coupons for baby clothes and cribs? Are you trying to encourage her to get pregnant?)? А спустя некоторое время вернулся и сказал: Да, она беременна. У меня к ней был один главный вопрос. В сообществе ведь ходили две версии этой байки. По одной, девушка сама ещё не знала о беременности, а модель уже всё поняла. По другой — девушка знала и уже покупала какие-то товары, по которым модель определила беременность и начала предлагать скидки на соответствующие покупки. Не знал только отец. Ну и тайна раскрылась: по её словам, сама девушка уже знала, что беременна. Конечно, забавно в какой-то момент карьеры встречать людей, о которых ты никогда не слышал, но прекрасно знаешь о том, что они создали. А еще она пишет детские книжки

https://fixupx.com/Quasilocal/status/2108084482968261105 Probably around 5-7% error rate, with say 1-2% unfixable?

LeanLean: Benchmarking Repository-Scale Lean Proof Compression https://leanleanbench.com/

Navier–Stokes Lost in Translation (Score: 151+ in 4 hours) Link: https://readhacker.news/s/76G2B Comments: https://readhacker.news/c/76G2B

Including 2D area law + Polynomial PEPS approximation spin-1 Haldane gap Laughlin gap conjecture and uniform stability of the spherical Laughlin gap Unique games conjecture (and approximation hardness for max cut, vertex cover, min-uncut) quasi-Riemann hypothesis Derandomization of logarithmic space: L=RL=BPL matmul with exponent 9/4, integer multiplication faster than n log n, DFT faster than n log n, subset sum faster thn 2^{n/2} Falconer distance conjecture