https://ai.tailf.media/p/ai-astra-10tailf AIen2026-08-04T20:49:39+00:00오픈AI Astra, 수학 미해결 난제 10개를 풀다