alphaXiv reduced dataset extraction cost ($7500 to $1000) thanks to DeepSeek OCR twitter.com 1 points by SweetSoftPillow 2 days ago