ModelsUS vs ChinaSelected12:08Chinese content腾讯混元用 Hyra 和 Hy3 模型解决 50 年数学难题腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想,直接把最优指数从 1.1 推到 2,比之前所有构造都强一截。#Hyra#Hy3#Tencent Hunyuan#数学推理Hunyuan@TXhunyuanSourceRead laterReadWorth followingUsefulFollow Hyra
ModelsUS vs ChinaMulti-source01:24Chinese contentGPT-5.4联合Maria AI将药物化学从文献推进到实验验证OpenAI展示了GPT-5.4跟专业工具配合,在药物化学里找到了更高效的反应路线,成果很实在。#GPT-5.4#Molecule.one#Maria AI#药物发现10 个信源在谈Event官方账号OpenAI@OpenAI11 sourcesSourceRead laterReadWorth followingUsefulFollow GPT-5.4