rStar-Math and LIPS picked as "the most groundbreaking AI papers from the first half of 2025" by Turing Post July 16, 2025