OpenAI发布一批来自未发布前沿模型的722份数学手稿，覆盖372个结果族，包含对数百个开放数学问题的解答，许多附带Lean形式化证明。OpenAI称平均每个结果耗费约3小时ChatGPT Pro思考时间。
🏷️
热门标签
具身智能
98
大模型
89
智能体
65
OpenAI
65
人形机器人
59
Anthropic
43
人工智能
41
AI智能体
40
融资
37
算力
34
AI安全
31
英伟达
26
华为
24
开源
23
开源模型
23
DeepSeek
22
Meta
20
谷歌
18
超节点
18
AIGC
18
智谱
18
AI芯片
17
AI监管
16
Claude
15
AI Agent
15
机器人
15
物理AI
14
IPO
14
字节跳动
14
Muse
13
网络安全
13
GPT-6
13
AI算力
13
国产算力
12
AI基础设施
12
数据中心
11
AI短剧
11
AI制药
11
阿里云
10
世界模型
10