模型中美对照精选12:08腾讯混元用 Hyra 和 Hy3 模型解决 50 年数学难题腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想,直接把最优指数从 1.1 推到 2,比之前所有构造都强一截。#Hyra#Hy3#Tencent Hunyuan#数学推理Hunyuan@TXhunyuan原文稍后读已读值得跟进有用关注 Hyra
模型中美对照多源确认01:24GPT-5.4联合Maria AI将药物化学从文献推进到实验验证OpenAI展示了GPT-5.4跟专业工具配合,在药物化学里找到了更高效的反应路线,成果很实在。#GPT-5.4#Molecule.one#Maria AI#药物发现10 个信源在谈事件专题官方账号OpenAI@OpenAI11 个信源在谈原文稍后读已读值得跟进有用关注 GPT-5.4