activity
20222026
most citedHumanity's Last Exam

23 citations · 33 across the 11 of their papers we have counts for

collaborators

11 papers

quant-ph2026

Resolving Structure in Prethermal Floquet Dynamics with Precision Quantum Computation

Eyal Leviatan, Tasneem Watad, Roy Perry +38

Periodically driven interacting quantum many-body systems can exhibit long-lived prethermal dynamics, where local observables retain coherent structure even as entanglement and ope…

math.AT2026

On periodic homotopy and homology equivalences of spaces

Shaul Barkan, Gijs Heuts, Yuqing Shi

There are at least two ways to approach the homotopy theory of spaces `at chromatic height ': one may localize with respect to -homology or with respect to -periodic…

math.AT2025

Open 2D TFTs admit initial open-closed extensions

Shaul Barkan, Jan Steinebrunner, Adela YiYu Zhang

We show that any open 2-dimensional topological field theory valued in a symmetric monoidal -category (with suitable colimits) extends canonically to an open-closed field t…

math.AT2025

Cellularity of Chromatic Synthetic Spectra

Shaul Barkan, Sven van Nigtevecht

We show that the -category of synthetic spectra based on Morava E-theory is generated by the bigraded spheres and identify it with the -category of modules over a f…

cs.LG2025★ 23 cited

Humanity's Last Exam

Long Phan, Alice Gatti, Ziwen Han +1168

Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achi…

math.AT2023

Chromatic Homotopy is Monoidally Algebraic at Large Primes

Shaul Barkan

Fix a prime and a chromatic height . We prove that the homotopy -category of -local spectra is algebraic as a symmetric…

math.AT2023★ 2 cited

Segalification and the Boardman-Vogt tensor product

Shaul Barkan, Jan Steinebrunner

We develop an analog of Dugger and Spivak's necklace formula providing an explicit description of the Segal space generated by an arbitrary simplicial space. We apply this to obtai…

math.AT2022★ 1 cited

Explicit Square Zero Obstruction Theory

Shaul Barkan

We develop square zero obstruction theory for modules over -algebras in an arbitrary stable (presentably) monoidal -category. We explicitly describe the obstr…

math.AT2022★ 1 cited

The equifibered approach to -properads

Shaul Barkan, Jan Steinebrunner

We define a notion of -properads that generalises -operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single…

math.CT2022★ 4 cited

Envelopes for Algebraic Patterns

Shaul Barkan, Rune Haugseng, Jan Steinebrunner

We generalize Lurie's construction of the symmetric monoidal envelope of an -operad to the setting of algebraic patterns. This envelope becomes fully faithful when sliced o…

math.AT2022★ 2 cited

Arity Approximation of -Operads

Shaul Barkan

Let denote the little discs operad for and let be an -category all of whose mapping spaces are -truncated. We prove tha…