Could you post a link to the actual page that has this for download? I only saw the, "Download BOINC link" and that wasn't the same filename as what you have.
Alternatively, you could upload the file to
http://www.virustotal.com and post the HYPERLINK to the results page, or use
http://www.fortiguardcenter.com/antivirus/virus_scanner.htmlThen, we'll have a better idea as to whether or not it's an FP, or a real virus.
It looks like a reputable source, but I've only seen folding@home, SETI@home, and the like.
They're trying to complete this?
The ABC conjecture is currently one of the greatest open problems in mathematics. If it is proven to be true, a lot of other open problems can be answered directly from it.
It's funny, because with today's powerful processors, it would seem that this sort of "equation" would have been solved a long time ago.
However, without reading a darn bit of it, other than what I posted, I'll asume that it's legit.
Hope my post helps.