关闭导航

包含标签"数学推理"的内容

中国AI初创公司DeepSeek发布6710亿参数开源数学推理模型掀全球AI热潮
AI妹 1 个月前 9 0

中國 AI 初創公司 DeepSeek 再次掀起開源 AI 領域的熱潮,正式發佈其最新開源模型 DeepSeek-Prover-V2-671B。這一擁有6710億參數的超大規模語言模型,專爲數學推

Harmonic推出亚里士多德AI聊天机器人 数学推理无幻觉并获1亿B轮融资
AI妹 1 个月前 9 0

Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫(Vlad Tenev)共同创办的人工智能初创公司,近日宣布推出其 iOS 和 Android 平台的 AI 聊天机器人应用

Harmonic推出亚里士多德AI机器人 数学推理无幻觉并获1亿B轮融资
AI妹 1 个月前 10 0

Harmonic 是一家由 Robinh ood CEO 弗拉德・特涅夫(Vlad Tenev)共同創辦的人工智能初創公司,近日宣佈推出其 iOS 和 Android 平臺的 AI 聊天機器人應用

DeepSeek-Prover-V2:数学推理新突破,AGI关键一步及ProverBench数据集发布
AI妹 1 个月前 8 0

在人工智能领域,最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。这一模型不仅在推理性能上取得了显著提升,还被誉为通向人工通用智能(AGI)的关键一步。DeepSeek-

DeepSeek-Prover-V2:创新训练方法,提升数学推理,迈向AGI关键一步
AI妹 1 个月前 12 0

在人工智能領域,最近一項重磅技術發佈引發廣泛關注 ——DeepSeek-Prover-V2。這一模型不僅在推理性能上取得了顯著提升,還被譽爲通向人工通用智能(AGI)的關鍵一步。DeepSeek-

阿里通义千问Qwen3新模型开源 性能媲美GPT-4o等闭源且长文本处理提升
AI妹 1 个月前 8 0

7月30日,阿里巴巴的通義千問團隊正式推出了 Qwen3系列模型的最新成員 ——Qwen3-30B-A3B-Instruct-2507。這一全新的開源模型採用非思考模式(non-thinking

通义千问Qwen3-30B新模型开源 性能比肩GPT-4o等知名闭源模型
AI妹 1 个月前 9 0

7月30日,阿里巴巴的通义千问团队正式推出了 Qwen3系列模型的最新成员 ——Qwen3-30B-A3B-Instruct-2507。这一全新的开源模型采用非思考模式(non-thinking

谷歌Gemini2.5Deep Think开放订阅 获IMO金牌展跨领域强推理能力
AI妹 1 个月前 8 0

近日,谷歌DeepMind宣佈其最強大的AI模型Gemini2.5Deep Think正式向Google AI Ultra訂閱用戶開放。這一模型不僅在2025年國際數學奧林匹克(IMO)競賽中摘得

Self-Refine方法:驱动大语言模型自我优化 多任务输出质量平均提升20%
AI妹 1 个月前 8 0

Self-Refine方法因其通過自我批評與反思顯著提升大語言模型(LLM)輸出質量,再度成爲AI研究熱點(https://arxiv.org/abs/2303.17651)。這一創新框架讓單一L

MiniCPM-V4.0开源:轻量高性能多模态模型 开启手机AI应用新篇章
AI妹 1 个月前 8 0

 The OpenBMB team recently announced the official open-source release of the new multimodal l