AI日报·2026-08-03 OpenAI Astra突破十项数学难题

OpenAI官宣下一代模型Astra一次性解决10项开放数学难题；月之暗面Kimi完成35亿美元融资估值350亿；中国大模型霸榜全球调用量前五。