Diskuze: AI ta Krajta #67 | 10 000 agentů řeší matematiku? Astra, DeepSeek a coding agents