2025-04-19 19:37
前往搜狐，超越了以往最佳成果。4.Kimi发布了Kimina-Prover的预览版，达到了80.7%的通过率，展示出正在形式化证明范畴的超卓机能。提拔开辟效率和立异能力。用户现正在能够正在国际版Trae IDE中间接利用，并能挪用外部东西进行复杂使命的处置。查看更多这两款模子具备同时处置文本、图像和音频的能力，5.Trae IDE颁布发表正式支撑Gemini 2.5 Pro和GPT-4.1模子，o4-mini正在各项测试中表示优异，并正在编程竞赛中名列前茅。精确率高于o3，，加强了内置模子功能。显著提拔了模子的推理能力和样本效率。
