关闭导航

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

HarmonicアリストテレスAI:無幻覚数学推論、IMO金メダル級、Bラウンド1億融資

(注:标题包含核心信息:企業名、AI名、無幻覚特徴、IMO実績、融資状況,符合30字左右要求)
AI妹 1 个月前 8 0

Harmonic は、Robinhood のCEOであるフランク・テネフ(Vlad Tenev)が共同創業した人工知能スタートアップ企業であり、最近、iOSおよびAndroidプラットフォーム向け

通义千问Qwen3新模型开源 性能比肩GPT-4o多语言长文能力提升
AI妹 1 个月前 9 0

7月30日、アリババの通義千問チームは、Qwen3シリーズモデルの最新メンバーである「Qwen3-30B-A3B-Instruct-2507」を正式にリリースしました。この新しいオープンソースモデ

Self-Refine:LLM三段階自我最適化、多タスク性能約20%向上
AI妹 1 个月前 8 0

Self-Refineは、大規模言語モデル(LLM)の出力を自己批判と反省を通じて大幅に改善し、再びAI研究の注目を集めています(https://arxiv.org/abs/2303.17651)

OpenAI GPT-5シリーズ正式発表 統一技術アーキテクチャと多層価格戦略
AI妹 1 个月前 9 0

AIBaseメッセージ、2025年8月7日、OpenAIはGPT-5シリーズモデルを正式に発表しました。これは同社の歴史上最も重要な製品アップグレードです。今回のリリースには、GPT-5、GPT-

2025年GPT-5、Claude4Opus与Gemini2.5Pro三大AI模型詳細対比分析
AI妹 1 个月前 8 0

核心ポイント:2025年8月、AI分野は新たな重要な節目を迎えました。OpenAIが公開したGPT-5、AnthropicのClaude4Opus、GoogleのGemini2.5Proは現在の巨

快智万一Skywork-R1V3.0多模态推理能力优异 MMMU评分超GPT-4.5等主流模型
AI妹 1 个月前 7 0

最近、快智萬一はブランドニューモデルSkywork-R1V3.0を正式に公開し、マルチモーダルリーズニングにおいて前例ないレベルに達したと発表しました。これは人間のジュニアエキスパートと同等である

月の暗面社Kimi K2 MoEモデル発表 高性能を持ち同時にオープンソース
AI妹 1 个月前 8 0

月の暗面社は、最新作であるKimi K2モデルを正式に発表し、同時にオープンソース化することを発表しました。このモデルはMoEアーキテクチャに基づいており、強力なコード能力と優れた汎用エージェント

Perplexity CEO讚Kimi K2擬訓練 月之暗面1兆參數開源模型引關注
AI妹 1 个月前 8 0

最近、米国の人工知能スタートアップ企業PerplexityのCEOであるアラヴィンド(Aravind Srinivas)氏がSNSで重要な情報を投稿しました。同社は「月の暗面(Moonshot)」

「シリコンクラウド正式发布Kimi K2模型 1T参数128K上下文新用户赠14元」
AI妹 1 个月前 9 0

このたび、シリコンクラウド(SiliconCloud)プラットフォームは、月の暗面がオープンソースで公開したMoEモデルKimi K2を正式にリリースしました。このモデルのパラメータ総数は1Tであ

2025年主要开源大模型架构特征与技术趋势深度解析
AI妹 1 个月前 13 0

近年、大規模言語モデル(LLM)の急速な発展により、人工知能技術の境界が広がり、特にオープンソース分野において、モデルアーキテクチャのイノベーションが業界の注目を集めています。AIbaseは最近の