#数学模型

共 5 条 · 7 天 0 条 · 30 天 2 条

OpenAI 4 Astra 2 Aeon 1 AI进展 1 GitHub 1 ZGCM-1-7B 1 中关科学院 1 推理模型 1

信息流里打上「数学模型」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月7日

模型 Agent 与开发者多源确认83°08:33

OpenAI新模型解决4000道数学题

OpenAI用新模型攻克4000道数学难题，解题思路已开源，数学研究者可直接参考。

#OpenAI #数学模型 #GitHub #推理模型

Gorden Sun@Gorden_Sun11 个信源在谈原文

9月20日

模型中美对照官方一手精选11:06

中关科学院发布 ZGCM-1-7B 数学与搜索模型，开源权重数据

中关科学院发布了 ZGCM-1-7B 这个数学和搜索模型，开源了它的权重、数据和训练代码，你可以用它来做数学题和搜索信息。

#ZGCM-1-7B #中关科学院 #数学模型 #搜索模型

官方一手pandaily@[email protected] (Pandaily)原文

9月12日

模型中美对照多源确认精选78°12:00

OpenAI 新模型 Aeon 在数学领域表现大幅超越 Astra

OpenAI 新模型 Aeon 数学能力太强了，88 小时就解决了 Navier-Stokes，比 Astra 强太多了，还可能解决 Hodge 猜想，值得关注。

#OpenAI #Aeon #Astra #数学模型

Gary Marcus@GaryMarcus11 个信源在谈原文

9月10日

模型中美对照多源确认19:11

数学家质疑 OpenAI 未说明数学训练数据来源

数学家直接对 OpenAI 发起挑战，讨论的是模型训练数据的使用问题，和之前关于未公开工作的争议有关。

#OpenAI #数学模型 #训练数据

官方账号theverge@Robert Hart11 个信源在谈原文

8月31日

行业多源确认01:18

OpenAI不公布更多数学模型成果

OpenAI透露不公布更多数学成果的原因，他们更专注于让用户使用模型进行自己的发现。

#OpenAI #Astra #数学模型 #AI进展

Gary Marcus@GaryMarcus11 个信源在谈原文