热点事件持续更新
OpenAI公开722篇数学手稿含挂谷猜想证明
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
OpenAI 10月7日在GitHub一次性公开722篇数学手稿，其中编号074的两篇声称证明挂谷猜想的三维极大函数版与四维Hausdorff维数版。 这组挂谷猜想相关成果没有Lean形式化，也未经同行评审；OpenAI在README中写道，一些未经形式化的结果"可能有问题"。全部722篇手稿中仅约42%做了Lean形式化，平均每个结果耗费约三小时ChatGPT Pro思考算力。
AI 根据报道生成 · 2 小时前更新
最新进展10月11日 13:23
OpenAI 发布挂谷猜想两篇手稿，称将三维加强到极大函数版并首次推进到四维报道时间线
沿着报道，了解事件的不同侧面。
10月11日
- 量子位精选OpenAI 发布挂谷猜想两篇手稿，称将三维加强到极大函数版并首次推进到四维
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，其中编号 074 的两篇声称证明挂谷猜想在三维的极大函数版本与四维的 Hausdorff 维数版本。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。