🚀 WELCOME TO METAMESH.BIZ +++ UK's AI Safety Institute quietly becoming every government's copy-paste template for pretending to regulate AGI +++ Academia discovers formal proofs can be automated (mathematicians nervously updating LinkedIn profiles) +++ Safety researchers propose legal safe harbor for red-teamers because apparently we need permission slips to break the apocalypse machines +++ THE FUTURE IS PEER-REVIEWED, GOVERNMENT-APPROVED, AND STILL PROBABLY HALLUCINATING +++ 🚀 •
🚀 WELCOME TO METAMESH.BIZ +++ UK's AI Safety Institute quietly becoming every government's copy-paste template for pretending to regulate AGI +++ Academia discovers formal proofs can be automated (mathematicians nervously updating LinkedIn profiles) +++ Safety researchers propose legal safe harbor for red-teamers because apparently we need permission slips to break the apocalypse machines +++ THE FUTURE IS PEER-REVIEWED, GOVERNMENT-APPROVED, AND STILL PROBABLY HALLUCINATING +++ 🚀 •
via Arxiv👤 George Tsoukalas, Anton Kovsharov, Sergey Shirobokov et al.📅 2026-05-21
⚡ Score: 8.0
"Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to generate formal proofs in languages like Lean. We perform the first large-scale evaluation of this method's ability to solve..."
via Arxiv👤 Xu Ouyang, Deyi Liu, Yuhang Cai et al.📅 2026-05-22
⚡ Score: 7.9
"Existing scaling laws for Large Language Models (LLMs), predominantly monotonic power laws, fail to explain emerging non-monotonic phenomena such as catastrophic overtraining and quantization-induced degradation, where performance deteriorates despite increased compute.
We propose the Shannon Scal..."
via Arxiv👤 Yunpeng Dong, Jingkai He, Yuze Hou et al.📅 2026-05-21
⚡ Score: 7.7
"LLM-powered AI agents require high-frequency state exploration (e.g., test-time tree search and reinforcement learning), relying on rapid checkpoint and rollback (C/R) of the complete sandbox state, including files and process state (e.g., memory, contexts, etc.). Existing mechanisms duplicate the e..."
via Arxiv👤 Piercosma Bisconti, Matteo Prandi, Federico Pierucci et al.📅 2026-05-21
⚡ Score: 7.3
"Background. Traditional safety benchmarks for language models evaluate generated text: whether a model outputs toxic language, reproduces bias, or follows harmful instructions. When models are deployed as agents, the safety-relevant object shifts from what the system says to what it does within an e..."
via Arxiv👤 Alessandro Sosso, Akhil Arora, Bas Spitters📅 2026-05-22
⚡ Score: 7.3
"Agentic systems have recently emerged as state-of-the-art approaches for automated theorem proving in formal mathematics. To assess how far these capabilities extend to program verification, we evaluate Claude Code in an agentic proving framework on CLEVER, a Lean 4 benchmark for verifiable code gen..."
via Arxiv👤 Long Phan, Devin Kim, Alexander Pan et al.📅 2026-05-21
⚡ Score: 7.2
"Large language models (LLMs) exhibit systematic political bias across a variety of sensitive contexts. We find that LLMs handle counterpart topics from opposing political sides asymmetrically. We refer to this phenomenon as covert political bias and identify 7 categories of techniques through which..."
"Large language models are routinely used as automated evaluators: to review code, moderate content, or score outputs, often with many items passing through one conversation. We ask whether the polarity of prior conversation history biases subsequent judgments, an effect we call the accumulated messa..."
📰 NEWS
Figure AI robot sorting livestream
2x SOURCES 🌐📅 2026-05-25
⚡ Score: 6.9
+++ Figure AI livestreamed continuous robotic package sorting for a week, suggesting their humanoid robots might actually work in the real world. Whether this proves commercial viability or just proves they can run a really long demo remains delightfully unclear. +++
via Arxiv👤 Qianshu Cai, Yonggang Zhang, Xianzhang Jia et al.📅 2026-05-21
⚡ Score: 6.9
"Autonomous agentic systems are largely static after deployment: they do not learn from user interactions, and recurring failures persist until the next human-driven update ships a fix. Self-evolving agents have emerged in response, but all confine evolution to text-mutable artifacts -- skill files,..."
via Arxiv👤 Sadia Asif, Mohammad Mohammadi Amiri, Momin Abbas et al.📅 2026-05-21
⚡ Score: 6.7
"Large language model (LLM)-based multi-agent systems increasingly rely on intermediate communication to coordinate complex tasks. While most existing systems communicate through natural language, recent work shows that latent communication, particularly through transformer key-value (KV) caches, can..."
"A few weeks ago, after finishing FastDMS, I started toying around writing some RDNA3 kernels again to see how fast I could get Qwen 3.6 MoE running. It turned out well enough, so over the past cou..."
"If you use Cursor heavily, you've probably hit this: you have internal patterns, boilerplate, team conventions — and every new chat you spend the first few messages re-establishing context. Rules files help but they load everything upfront, which burns context fast.
I built **knowledge-shelf** to f..."
via Arxiv👤 Yifan Yang, Ziyang Gong, Weiquan Huang et al.📅 2026-05-22
⚡ Score: 6.7
"Agent skills today are hand-crafted, generated one-shot, or evolved through loosely controlled self-revision, none of which behaves like a deep-learning optimizer for the skill, and none of which reliably improves over its starting point under feedback. We argue the skill should instead be trained a..."
"A lot of people talk about AI agents like the main goal is making them more independent. But the more I think about it, the bigger issue is probably visibility.
If an AI is only answering a question, it is easy to judge the result. But once it starts doing things across websites, accounts, forms, su..."
via Arxiv👤 Stuart Bladon, Brinnae Bent📅 2026-05-22
⚡ Score: 6.6
"It has generally been assumed that geopolitical bias in language models originates from the training data used during the pre-training phase. We tested seven open-weight LLM pairs consisting of the base model (pre-training only) and the chat model (pre-training and post-training) from seven labs on..."
via Arxiv👤 Zisu Huang, Jingwen Xu, Yifan Yang et al.📅 2026-05-22
⚡ Score: 6.6
"Language agents increasingly improve by reusing \emph{skills} -- structured procedural artifacts distilled from past experience. In particular, \emph{domain-level} and \emph{model-generated} skills are especially promising. They offer fast adaptation within a domain by encoding domain-specific recur..."
"Knowledge distillation generally assumes a strong-to-weak relationship where stronger teachers yield better students. In this work, we examine this assumption about distillation in large language model pretraining. By varying architecture sizes and training token budgets, we create strong-to-weak, s..."
via Arxiv👤 Ryan Bahlous-Boldi, Isha Puri, Idan Shenfeld et al.📅 2026-05-21
⚡ Score: 6.4
"Language models must now generalize out of the box to novel environments and work inside inference-scaling search procedures, such as AlphaEvolve, that select rollouts with a variety of task-specific reward functions. Unfortunately, the standard paradigm of LLM post-training optimizes a pre-specifie..."
"I've been working with agents for months now, and I haven't found a sandbox environment that "just works" so I built it!
My requirements were as follows:
1. Agent is unable to destroy my host OS but able to install software and run sudo commands
2. Agent is able to browse the web autonomously and ..."
"Implemented(by u/am17an) FWHT for CUDA, speed-up for cases when we quantize the kv-cache.
**1-2%** boost on pp & **7-9%** boost on tg.
Performance on a 5090 with `-ctk q8_0 -ctv q8_0`
|Model|Test|t/s master|t/s cuda-fwt|Speedup|
|:-|:-|:-|:-|:-|
|gemma4 26B.A4B Q4\_K\_M|pp2048|13587.89|13809."