5月21日
09:50
09:50arXiv: OpenAI@Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood
精选
OpenAI 生成的构造反例推翻了 Erdős 单位距离猜想,该猜想曾认为平面上单位距离对的数量最多为 O(n^{1+c/log log n})。研究者将反例提炼为简洁、可验证的版本,并指出其核心思想可追溯至 Ellenberg-Venkatesh、Golod-Shafarevich 和 Hajir-Maire-Ramakrishna 的工作。这一发现是组合几何领域的重大突破,展示了 AI 在数学发现中的潜力。论文还包含对反例的反思,探讨了 AI 辅助数学研究的未来方向。

推荐理由:OpenAI 用 AI 构造反例推翻了数学界 70 年的猜想,做组合几何或数论的研究者值得关注——这不仅是数学突破,更展示了 AI 如何改变数学发现的方式。
5月20日
5月19日
13:42
13:42@OpenAIDevs@OpenAIDevs
精选
AltaraTech 利用 OpenAI 模型帮助科学家和工程师处理多模态、复杂的科研数据,实现多步骤研发工作流的透明化。该公司在 OpenAI 开发者日上展示了如何通过 AI 推理跨模态数据、并行化长周期任务,并增强结果的可解释性。这一方案旨在提升科研效率与信任度,目前团队正在招聘。
推荐理由:科研团队终于有了可落地的 AI 方案——AltaraTech 用 OpenAI 模型打通多模态数据推理与长流程并行化,做材料、生物等复杂实验的科学家可以直接参考,建议点开看看他们怎么解决透明性痛点。