The Prover-V2 release has captured attention online, with many on social media wondering what it means for the start-up’s next reasoning model.