1
智象未来超两千亿参数图像大模型HiDream-O1-Image-Pro发布，融资持续提速
两千亿参数原生全模态图像大模型HiDream-O1-Image-Pro发布，刷新多项SOTA记录，多模态统一建模再进一步。
向世界模型进发。
2
LongCat-Flash-Prover：AI 攻克数学定理证明，不仅要“算得对”，更要“证得严”
美团开源LongCat-Flash-Prover，AI数学定理证明新SOTA，MiniF2F通过率97.1%
在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— …
3
ArtifactLinker: Linking Scientific Artifacts for Automatic State-of-the-Art Discovery
自动链接科学产物，实现最新技术自动发现，加速科研效率
arXiv:2605.16902v1 Announce Type: new Abstract: Scientific artifacts such as models and datasets are foundations for research. With the rapid growth o…
4
DrugSAGE:Self-evolving Agent Experience for Efficient State-of-the-Art Drug Discovery
自我进化的智能体记忆经验，大幅降低药物发现中SOTA模型搜索成本，革新AI驱动科研。
arXiv:2605.15461v1 Announce Type: cross Abstract: Building state-of-the-art (SOTA) predictive models for drug discovery requires expensive search over…