@misc{indiciaed67f2d4d9115,
  title = {A Human Audit of OpenAIs AI-Generated Mathematical Proofs},
  author = {Mikołaj Sienicki and Krzysztof Sienicki},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14673},
  note = {Source identifier: 2608.14673}
}