用deepseek v4.1 flash花了12亿token做了个小软件，让Astra Medium审查，一下就发现了7个大bug