Tootfinder

Jeder Satz ein Treffer! Fred Grimm in der aktuellen SCHROT&KORN
„… von rechts über rechts außen bis rechts draußen …“
„Sie sind seit Jahren die lautesten, weil es der eigentlichen Mehrheit viel zu oft die Sprache verschlägt“
Text in den Alt-Texten von Bild 2 und 3
#vegan

Barbarians at the Gate: How AI is Upending Systems Research
Audrey Cheng, Shu Liu, Melissa Pan, Zhifei Li, Bowen Wang, Alex Krentsel, Tian Xia, Mert Cemri, Jongseok Park, Shuo Yang, Jeff Chen, Aditya Desai, Jiarong Xing, Koushik Sen, Matei Zaharia, Ion Stoica
https://arxiv.org/abs/2510.06189

Barbarians at the Gate: How AI is Upending Systems Research
Artificial Intelligence (AI) is starting to transform the research process as we know it by automating the discovery of new solutions. Given a task, the typical AI-driven approach is (i) to generate a set of diverse solutions, and then (ii) to verify these solutions and select one that solves the problem. Crucially, this approach assumes the existence of a reliable verifier, i.e., one that can accurately determine whether a solution solves the given problem. We argue that systems research, long…

Compiling Any $\mathsf{MIP}^{*}$ into a (Succinct) Classical Interactive Argument
Andrew Huang, Yael Tauman Kalai
https://arxiv.org/abs/2510.08495 https://…

Compiling Any $\mathsf{MIP}^{*}$ into a (Succinct) Classical Interactive Argument
We present a generic compiler that converts any $\mathsf{MIP}^{*}$ protocol into a succinct interactive argument where the communication and the verifier are classical, and where post-quantum soundness relies on the post-quantum sub-exponential hardness of the Learning with Errors ($\mathsf{LWE}$) problem. Prior to this work, such a compiler for $\mathsf{MIP}^{*}$ was given by Kalai, Lombardi, Vaikuntanathan and Yang (STOC 2022), but the post-quantum soundness of this compiler is still under in…