AI verification — AI news1 storiesOpen-weight DeepSeek shows bug-detection performance surpassing Gemini Open modelsTopicsArchive