饼干AI

跳到主要内容

饼干AIARTICLES & RSS

全部文章1

收藏只看未读

话题：模型能力

10月7日 · 09:33

OpenAI 公开内部模型生成的 722 篇数学手稿及部分形式化证明

OpenAI 公开内部模型产生的 722 篇数学手稿，按 372 个结果家族整理，并提供部分 Lean 形式化证明；模型本身未发布。

AI OpenAI 数学研究模型能力

1 分钟

#AI #Agent #OpenAI #大模型 #API #开发平台 #Anthropic #开源 #Claude #Google #Google Cloud #企业应用

00篇已读

00篇收藏

01个来源

联系站长

沪ICP备2026040502号沪公网安备31011202023271号

搜索文章

↵

常用话题

搜索已发布的原创文章与 RSS 内容。

添加到桌面

在支持的浏览器中，打开浏览器菜单，选择“安装应用”或“添加到主屏幕”。iPhone 可在 Safari 的分享菜单中添加。

打开过的文章可离线阅读，已收藏文章会优先保留在本机。

正在加载…

跳到主要内容

饼干AIARTICLES & RSS

全部文章1

收藏只看未读

话题：模型能力

10月7日 · 09:33

OpenAI 公开内部模型生成的 722 篇数学手稿及部分形式化证明

OpenAI 公开内部模型产生的 722 篇数学手稿，按 372 个结果家族整理，并提供部分 Lean 形式化证明；模型本身未发布。

AI OpenAI 数学研究模型能力

1 分钟

#AI #Agent #OpenAI #大模型 #API #开发平台 #Anthropic #开源 #Claude #Google #Google Cloud #企业应用

00篇已读

00篇收藏

01个来源

联系站长

沪ICP备2026040502号沪公网安备31011202023271号

搜索文章

↵

常用话题

搜索已发布的原创文章与 RSS 内容。

添加到桌面

在支持的浏览器中，打开浏览器菜单，选择“安装应用”或“添加到主屏幕”。iPhone 可在 Safari 的分享菜单中添加。

打开过的文章可离线阅读，已收藏文章会优先保留在本机。

OpenAI 公开内部模型生成的 722 篇数学手稿及部分形式化证明

搜索文章

阅读设置

页面外观

添加到桌面

OpenAI 公开内部模型生成的 722 篇数学手稿及部分形式化证明

搜索文章

阅读设置

页面外观

添加到桌面