@misc{indiciae8ed58215b64a,
  title = {AC\textasciicircum{}0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard},
  author = {Jiaqi Lu and Rahul Santhanam and Iddo Tzameret},
  year = {2025},
  url = {https://arxiv.org/abs/2509.16824},
  note = {Source identifier: 2509.16824}
}