I don't think that can be true. If it was, it were like this: Hey guys, here's an algorithm. Oh by the way, we can not prove that this algorithm does something

I don't think that can be true. If it was, it were like this: Hey guys, here's an algorithm. Oh by the way, we can not prove that this algorithm does something useful, and their can you. gets published in nature Talk about bang for the buck