🚀 WELCOME TO METAMESH.BIZ +++ AI just speedran 50 years of unsolved math problems in one afternoon (mathematicians updating resumes to "prompt engineer") +++ PrismML drops 3GB image models that run in your browser because apparently we're quantizing reality itself now +++ Security researchers discover Python's entire AI stack trusts a single character (BadHost exploit making everyone nervous) +++ THE FUTURE IS 1-BIT, BROWSER-BASED, AND SOLVING PROBLEMS WE FORGOT WE HAD +++ 🚀 •
🚀 WELCOME TO METAMESH.BIZ +++ AI just speedran 50 years of unsolved math problems in one afternoon (mathematicians updating resumes to "prompt engineer") +++ PrismML drops 3GB image models that run in your browser because apparently we're quantizing reality itself now +++ Security researchers discover Python's entire AI stack trusts a single character (BadHost exploit making everyone nervous) +++ THE FUTURE IS 1-BIT, BROWSER-BASED, AND SOLVING PROBLEMS WE FORGOT WE HAD +++ 🚀 •
+++ AI just cracked 53 previously intractable mathematical problems, including some gathering dust for decades. Turns out brute-force pattern matching works on proofs too. +++
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..."
"This paper studies the next major bottleneck in agentic AI as system scaling, not only model scaling: the design of auditable, persistent, modular, and verifiable architectures around foundation models. We refer to this shift as scaling the harness: treating the structured execution layer around a f..."
via Arxiv👤 James Lucassen, Adam Kaufman📅 2026-05-25
⚡ Score: 7.7
"AI coding scaffolds like Claude Code and Codex use \textit{retrying}: blocking actions flagged as risky and continuing the trajectory. We study retrying from an AI control perspective, which treats the model as potentially adversarial. We find that while retrying reduces honest suspicion scores, the..."
📰 NEWS
DeepSWE coding agent benchmark
2x SOURCES 🌐📅 2026-05-26
⚡ Score: 7.5
+++ New benchmark promises to measure long-horizon coding agents without the usual contamination sins, because apparently existing eval suites were basically teaching to the test. +++
"The PrismML team really cooked with these models. They're only \~3GB in size (compared to FLUX.2 Klein 4B, which is \~16GB). Apache-2.0!
Official collection on HF: https://huggingface.co/collections/prism-ml/bonsai-image
Link to demo: [h..."
💬 Reddit Discussion: 24 comments
🐝 BUZZING
📡 AI NEWS BUT ACTUALLY GOOD
The revolution will not be televised, but Claude will email you once we hit the singularity.
Get the stories that matter in Today's AI Briefing.
Powered by Premium Technology Intelligence Algorithms • Unsubscribe anytime
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👤 Shuhong Zheng, Michael Oechsle, Erik Sandström et al.📅 2026-05-22
⚡ Score: 7.0
"Visual geometry transformers have become powerful architectures for multi-view 3D reconstruction, enabling joint prediction of multiple 3D attributes in a feed-forward manner. However, their computational cost grows quadratically with the input sequence length due to the global attention layers insi..."
"I keep seeing the same failure in every multi-agent setup I touch. Memory looks fine on day one. By week three it is half stale facts, half private context that should not have been written publicly, and half decisions that were superseded but never overwritten. Retrieval gets noisier. Users keep re..."
💬 Reddit Discussion: 15 comments
😤 NEGATIVE ENERGY
"If you run MCP servers in Cursor, CVE-2025-54136 ("MCPoison", found by Check Point) is worth knowing about: Cursor trusted an approved mcp.json forever, so once you approved a server, someone with write access to a shared repo could swap the command for something malicious — e.g. a reverse shell — a..."
via Arxiv👤 Haolang Zhao, Yunbo Long, Lukas Beckenbauer et al.📅 2026-05-25
⚡ Score: 6.8
"Deep research agents face vast, interdependent, and pervasively uncertain information. Existing systems explore what evolving intermediate representations should look like, but leave their evolution to the LLM's implicit reasoning. Without explicit regulation, the intermediate layer is easily contam..."
"We've been building a computer vision scoring system for a bounded indoor court sport — think real-time object detection at the scoring boundary, binary in/out decision, has to run sub-35ms end-to-end on edge hardware with no cloud dependency.
Wrote up the full research doc on it. Some things worth..."
via Arxiv👤 Junlin Wang, Federico Bianchi, Shang Zhu et al.📅 2026-05-25
⚡ Score: 6.8
"Modern AI benchmarks operate at a complexity that outpaces traditional verification methods. Tasks authored by domain experts often contain implicit assumptions, incomplete environment specifications, and brittle evaluation logic that human annotation cannot reliably catch. We introduce Auto Benchma..."
via Arxiv👤 Dhruv Agarwal, Emily Sheng, Chad Atalla et al.📅 2026-05-25
⚡ Score: 6.8
"Evaluating generative AI (GenAI) systems is challenging because many targets of evaluation are broad, contested concepts, such as "reasoning," "fairness," or "creativity." When these concepts are left underspecified, it becomes unclear what should be measured or how evaluation results should be inte..."
"Team of 5 from Princeton, and we got funding to build a local inference engine for Apple Silicon - rust, hand written kernels - and we're at the point where working with \~100 people will expose bugs/what people want tool-wise. All of this is free open source - will remain so.
We're ahead of llama/..."
"About an hour ago, my desktop app began to crap out and I suddenly didn’t have access to my projects or chats anymore. (I’m on my own business plan.) My UI then refreshed with someone else’s chat history where I could click in and read all conversations end to end.
Because I did not want to read p..."
"quick recap: late april, cursor agent on a pocketos staging task hit a credential mismatch, decided "delete the railway volume" would fix it, grepped a token out of an unrelated config file, ran a single curl -X DELETE, and railway's same-volume backup design meant production data was gone in nin..."
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..."
via Arxiv👤 Junlin Yang, Dylan Zhang, Xiangchen Song et al.📅 2026-05-25
⚡ Score: 6.7
"We introduce CausaLab, a scalable environment for evaluating interactive causal discovery by LLM agents. Unlike prior evaluations, CausaLab evaluates both whether an agent can solve a problem using causal evidence and whether its answer is supported by a correct hypothesis about the underlying causa..."
via Arxiv👤 Matt L. Wiemann, Lindsay M. Smith, Peter Melchior et al.📅 2026-05-25
⚡ Score: 6.7
"Frontier LLMs now perform strongly across a wide range of physics evaluations, but it is hard to disentangle genuine reasoning from recall of established science. We introduce DiscoverPhysics, an interactive benchmark that asks a LLM agent to discover the laws of motion of a simulated world whose ph..."
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..."
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👤 Dingbang Wu, Rui Hao, Haiyang Wang et al.📅 2026-05-25
⚡ Score: 6.6
"We present MobileGym, a browser-hosted, lightweight, fully controllable environment for everyday mobile use, targeting interaction fidelity without replicating proprietary backends. It enables two capabilities previously out of reach for everyday apps: verifiable outcome signals through deterministi..."
via Arxiv👤 Yusong Lin, Xinyuan Liang, Haiyang Wang et al.📅 2026-05-25
⚡ Score: 6.6
"Large language model agents are increasingly envisioned as always-on personal assistants with access to anything relevant in the user's digital world. Yet current systems operate over only narrow slices of that world, limiting context-sensitive reasoning and effective assistance. Existing benchmarks..."
"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..."
"Six months on Cursor full-time. My code volume went up roughly 4×, my review queue went up the same, and reading 600 lines of Cursor-written code carefully still takes a human at a screen.
The cope is skimming. Most of the time that works. The times it does not are boring: an auth check that moved,..."
"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."