Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
A
ai-box
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
青山
ai-box
Commits
27eb69c0
Commit
27eb69c0
authored
May 15, 2025
by
fisherdaddy
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
feat: add new AI model AlphaEvolve and update Doubao model in pricing data
parent
bcad72d8
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
20 additions
and
7 deletions
+20
-7
ai-events.json
src/data/ai-events.json
+9
-2
llm-pricing.json
src/data/llm-pricing.json
+7
-1
vision-model-pricing.json
src/data/vision-model-pricing.json
+4
-4
No files found.
src/data/ai-events.json
View file @
27eb69c0
...
...
@@ -1082,6 +1082,13 @@
"title"
:
"DeepSeek-Prover-V2"
,
"category"
:
[
"MODEL_RELEASE"
,
"OPEN_SOURCE"
],
"description"
:
"DeepSeek 推出了 DeepSeek-Prover-V2,一个用于 Lean 4 形式化定理证明的开源大语言模型。模型训练始于一个“冷启动”阶段,利用 DeepSeek-V3 通过递归证明流程生成初始数据,整合了非形式化推理(如思路链)和形式化证明步骤。随后通过强化学习进一步提升性能。DeepSeek-Prover-V2 在神经定理证明领域达到 SOTA 水平,特别是在 MiniF2F-test 上实现了 88.9 % 的通过率,并解决了 PutnamBench 中的 49 个问题。发布了两个尺寸的模型: 7B 和 671B 参数,可通过 Hugging Face Transformers 使用。"
,
"link"
:
"https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B"
}
"link"
:
"https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B"
},
{
"date"
:
"2025-05-15"
,
"title"
:
"AlphaEvolve"
,
"category"
:
"RESEARCH"
,
"description"
:
"Google 发布 AlphaEvolve: 一款利用大型语言模型(LLMs)进行通用算法发现与优化的进化编码代理。其核心思想是结合 Gemini 模型的创造性问题解决能力和自动化评估机制,通过进化迭代的方式生成、验证并改进算法。该代理不仅能够优化现有计算流程,还能在数学等基础科学领域探索新的解决方案,展示了其在多个领域应用的广泛前景和实际价值。"
,
"link"
:
"https://fisherdaddy.com/posts/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/"
}
]
\ No newline at end of file
src/data/llm-pricing.json
View file @
27eb69c0
...
...
@@ -81,7 +81,13 @@
"outputPrice"
:
8
},
{
"name"
:
"Doubao-1.5-vision-pro-250328"
,
"name"
:
"doubao-1.5-thinking-vision-pro"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
2
,
"outputPrice"
:
8
},
{
"name"
:
"Doubao-1.5-vision-pro"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
3
,
"outputPrice"
:
9
...
...
src/data/vision-model-pricing.json
View file @
27eb69c0
...
...
@@ -39,19 +39,19 @@
"outputPrice"
:
2.8
},
{
"name"
:
"Doubao-1.5-
vision-pro-250328
"
,
"name"
:
"Doubao-1.5-
thinking-vision-pro
"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
3
,
"outputPrice"
:
9
},
{
"name"
:
"Doubao-1.5-vision-pro
-32k
"
,
"name"
:
"Doubao-1.5-vision-pro"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
3
,
"outputPrice"
:
9
},
{
"name"
:
"Doubao-vision-pro
-32k
"
,
"name"
:
"Doubao-vision-pro"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
3
,
"outputPrice"
:
9
...
...
@@ -75,7 +75,7 @@
"outputPrice"
:
8
},
{
"name"
:
"Doubao-1.5-thinking-pro"
,
"name"
:
"Doubao-1.5-thinking-pro
-m
"
,
"logo"
:
"/assets/icon/doubao.png"
,
"inputPrice"
:
4
,
"outputPrice"
:
16
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment