Context: Harmonic AI is promoting the use of human-defined benchmarks for evaluating artificial intelligence, as opposed to relying on automated evaluation methods. This approach is particularly relevant for crypto and DeFi investors, who should take notice of the importance of formal verification in AI development. By advocating for human-defined benchmarks, Harmonic AI aims to bring a new level of transparency and accountability to the AI industry.