[AI]news - 7月3日新闻早报：OpenAI拟向美政府出让5%股权换政策支持，微软与Anthropic模型联手破解9道数学难题，可灵AI近30亿美元融资创纪录