@misc{indiciae66903fef069f,
  title = {Aletheia tackles FirstProof autonomously},
  author = {Tony Feng and Junehyuk Jung and Sang-hyun Kim and Carlo Pagano and Sergei Gukov and Chiang-Chiang Tsai and David Woodruff and Adel Javanmard and Aryan Mokhtari and Dawsen Hwang and Yuri Chervonyi and Jonathan N. Lee and Garrett Bingham and Trieu H. Trinh and Vahab Mirrokni and Quoc V. Le and Thang Luong},
  year = {2026},
  url = {https://arxiv.org/abs/2602.21201},
  note = {Source identifier: 2602.21201}
}