新智元

港科广等发布首个医学世界模型！精准模拟肿瘤演化，规划治疗方案

作者

香港科技大学与合作伙伴提出Medical World Model（Medical系统世界模型），通过生成式模型和生存分析技术，显著提升治疗方案优化能力，在视觉图灵测试、生存风险评估及临床决策支持方面表现优异。

形式化证明迈向多模态，MLLM正确率仅4%！港科大等推出全新基准

作者

香港科技大学推出MATP-BENCH基准测试集，评估多模态大模型在处理包含图像和文本的几何定理证明中的能力。实验发现尽管模型在将图文信息转化为形式化定理方面有一定能力，在构建完整证明时面临复杂逻辑推理和辅助线构造等重大挑战。