Bizonyított működés nélkül viszont egy algoritmus sokat nem ér tudományos szempontból, legfeljebb egy bizonyos szabályok szerinti próbálgatásról lehet beszélni, nem algoritmusról.
Ez így nem teljesen igaz, ld. pl. GA, Neural networks.. Az algoritmust pedig egészen biztos, hogy le lehet írni formálisan, vizsgálni viszont már valószínűleg nem olyan egyszerű.