AI辅助科研相关 AI 资讯 · AITOP · AI热报

7月30日

12:08

12:08

Hunyuan@TXhunyuan

精选

腾讯混元团队利用 AI 研究助手 Hyra 和 Hy3 模型，构造出一个有限整数集 A 的例子，证明 |A+A| 与 |A-A| 增长的最优指数为 2，打破了 1969 年定理给出的上界。此前 50 年间最佳构造仅达到指数约 1.1。论文已发表在 arXiv（2607.27199），Hyra 博客和形式化证明也已公开。

AI模型 Hyra Hy3 Tencent Hunyuan

推荐理由：腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想，直接把最优指数从 1.1 推到 2，比之前所有构造都强一截。

6月18日

01:24

01:24

官方账号OpenAI@OpenAI

OpenAI发布案例，GPT-5.4与Molecule.one的Maria AI及专业实验室协作，为药物发现中一个广泛使用的反应提出了意想不到的改进方案。项目从文献综述启动，最终得到验证的实验结果。该成果展示了大型语言模型在具体科研场景中的实用价值。

AI模型 GPT-5.4 Molecule.one Maria AI

推荐理由：OpenAI展示了GPT-5.4跟专业工具配合，在药物化学里找到了更高效的反应路线，成果很实在。