openai，deepmind，你们那些在国际奥赛上拿金牌的模型还藏着干什么，赶紧端出来吧？ deepseek 都直接把竞赛金牌模型开源啦。 --- 这些在benchmark 中拿到国际奥赛金牌的模型，跟普通ai用户有什么关系？有什么实际的使用场景？是 coding 更强？还是说有其他什么 use case？ 判断一个模型对普通用户的价值，就看它最强的 use case。gpt-4.5 是写