（来源：上观新闻）
他们的方法是在🇨🇷🇺🇾训练过🍄💊程中同💒🇲🇨时保留几个"👨👨👧专业老🤯🥂师"模型，每个老🇦🇹👨👩👧👧师在特定领🥃域表现🥵最佳🏐👨👧👦。然而，面🇲🇻对这场🇭🇲🦉狂欢，业内专家却🚱⬅泼了一盆冷水🗳。他们收集了98®000个🇮🇶数学证明问题📡🧶，涵盖了证明👩❤️💋👩😶生成和证明验证🐂🏆两种能力🖲，总共生🕋🎢成了81🍲😜.6万个训练❇👳样本🥃。据媒体🇸🇬⚖援引知情人士透🐯露，OpenAI👡🈂最终通过加薪🤭留住了Pee🦸♀️🐔bles，此后🍽还扩大了他在S☹🇦🇼ora项目上🐩的职责范围，由其🎇💅主导新一代😺视频生成模🛄🌄型的训练及🚩🇨🇼愉快的交换夫妇4中文消费级应用的开发👨👧👦。其基本逻辑可以💡🐝表述为：利用西🌊🚱部低至 0🇨🇭.3 👩🚀🔙元每度🌶的电力优势🇳🇷🥳驱动大规模🌏智算中心，通过🛸🐡算力芯片将电力转🥾▪化为可🅰交易的词元，再利🇨🇰用互联网的零物☔流成本🚛特征，将这些“💚数字产品”卖向全🇧🇱球🇸🇽。
研究团队✏🐗选择了F➿LORES-10🇨🇼👊1数据⛎集作为🕟🏃♀️主要测试平台📚💤，这个数据集包含🇰🇲🏏了101种不🛩同语言的翻译对照😼文本，涵👫盖了从资源丰富的🛒🇯🇴主要语言到极其🇲🇼稀缺的濒危语言😮。Clau🕡🇦🇱de 🆒Code💹🏁、Lovable🧩等Codin🇸🇭g工具🛎，已经将软件🙈🧼开发的门槛📀🇲🇷大幅降低👎。” 这个🥩“我懂”，现📂🇵🇷在看恰恰说🏰明大家都🌉没懂🎫。人类专家在评审模🦋🧝♀️型的数学证明时🇰🇳👇发现，有些证♿明虽然完全正确🇹🇴，但比必要的步骤🇦🇸👨👩👧要多，有时包含一🥾🏯些多余🇵🇲的中间步骤🚒🎠或定义🇳🇱⛲。其与联合创始👯♂️🗝人曾在大学期间🦀，组队参加大🕉🔡疆的机甲🤜大师比赛🇨🇳🏧愉快的交换夫妇4中文。
