He's basically saying that while most people here go with "I think..." hence speculation...
One or more people are going "I know..." as in it is pure fact and not speculation...
It's a complete fail of logic to assume that there were no plans for a GF100. How far GF100 got before it was cancelled is the only thing in question.
Nvidia has always lead with a base number.
NV10-40 and G60-80 (x0 number designations). With refreshes adding a 1 or a 5. G92 is the only real outlier here.
Since moving to 3 digit designations they've all launched with x00 designations for the first large chip of each new generation.
GT200, GF100. All first gen products have x0x while all refresh products have x1x.
Keplar follows suit. All first gen products carry x0x (GK104, GK107, etc.). Refresh products carry x1x. GK110 for example and probably eventually a GK114.
So, there's no doubt in my mind that GF100 existed at some point. Whether just computer simulations or taped out. They certainly weren't about to just skip a product cycle in the HPC/professional markets when they knew ATI was specifically targetting that with their next chip. Sure they are currently dominating that market segment, but to skip a product cycle gives your competition a big chance to get their foot in the door.
The only question is, at what point did Nvidia decide that GF100 was an unworkable product, even for the HPC/professional market, and scrap it in favor of dedicating more resources to GF110 or even Maxwell.
Regards,
SB