科学美国人揭秘 OpenAI 百万美元数学证明背后的故事
scientificamerican · reddit · 2026-10-23
Scientific American 发文讲述 OpenAI 悬赏百万美元数学证明事件的内幕。该挑战要求 AI 解决尚未有公开解答的前沿数学问题,由顶尖数学家评审,这一竞赛引发了关于 AI 能否做出真正原创数学贡献的讨论。文章回顾了挑战的来龙去脉、参与者的动机与评审过程。
「模型」频道最新
- 文档解析 lite 版战绩:OmniParseBench 75.1 分碾压 Azure Read 的 42.3 — VikParuchuri · 2026-10-23
- Datalab 开源 1M 参数 OCR 模型：CPU 跑出每秒 44 页 — VikParuchuri · 2026-10-23
- Anthropic 称反蒸馏防御削减90-99%,但专家数据仍在海外售卖 — johnkorrigan · 2026-10-23
- HuggingFace CEO 回应学者批评：开源模型基准测试确有问题 — ClementDelangue · 2026-10-23
- 爆料称 Kimi K3.1 今日不发，或于周五或周一发布 — ChrisGPT · 2026-10-23
- 用 EmbeddingGemma 2 做语音转写：1 小时音频本地 13 秒完成 — GlennCameronjr · 2026-10-23