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 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

Qubit CSS codes with Universal Transversal Gates https://arxiv.org/abs/2610.06730

Planning to Learn https://arxiv.org/abs/2610.03667

Topological Transverse Transport without a Gap in Critical Topological Flat Bands https://arxiv.org/abs/2609.40065

Towards verifiable quantum advantage with random circuits: Observables that survive concentration https://arxiv.org/abs/2609.37890

Parallel classical simulation of noisy shallow circuits: no quantum advantage in 1D https://arxiv.org/abs/2609.39448

Designing Strongly Correlated Quantum Phases of Matter with Foundation Neural-Network Quantum States https://arxiv.org/abs/2609.40209

Natural Image Pretraining Improves Abstract Reasoning https://link.springer.com/chapter/10.1007/978-3-032-37517-9_6