实测GPT-4o复现前沿模型Astra的数学证明
danshipper · x · 2026-08-03
一位开发者在登机前给 GPT-4o 布置了挑战：在提供适当概念提示的情况下，看它能否复现 OpenAI 前沿模型 Astra 解决埃尔德什平面单位距离猜想（Erdős's planar unit distance conjecture）的证明过程。其核心理论是，较弱的模型如果获得正确的概念提示，往往能重现前沿模型的发现。
「模型」频道最新
- 零重训改造冻结 LLM：向浅层泄漏深层残差向量解状态追踪难题 — burny_tech · 2026-09-18
- 模型 50-96% 回合中知道自己在 reward hacking，激活监测器可实时抓现行 — burny_tech · 2026-09-18
- Qwen3.8-Omni-Flash 发布：多人语音识别错误率 88%→3%，音频 API 降价 98% — karminski3 · 2026-09-18
- Qwen3.8-Omni-Flash 发布:多人会议识别错误率降至 3%,API 降价 98% — karminski3 · 2026-09-18
- 内部人士:Gemini 3.8 live 部分基准已胜过 gpt-live-1 — bosmeny · 2026-09-18
- 105 个植入 bug 实测:Pareto 以 4.81 美元成本逼近顶级模型 — PawelHuryn · 2026-09-18