（来源：上观新闻）
他们收集了9✍🌼8000个数学🎞证明问💺🇧🇱题，涵盖了🇨🇲证明生成🇦🇴💂♀️和证明验证两⚱🕙种能力，总共🇭🇲🈂生成了81💵.6万个🎪🚅训练样本🕜。更令人👩🚒↩震撼的是，这个相💔对"袖珍"的模🔵🇲🇵型竟然💼👨🚒在202📝🇲🇾5年国际数学📐☝奥林匹克竞赛❔♋、国际信息学奥🥇林匹克竞赛，⏏🚯以及ICPC世🎢🚮界总决赛中🍎都获得了金牌级别🇨🇬⛩的成绩🔩。
团队概况🇮🇶🏴☠️：Rabbit🔱创始人吕👫🕋骋是一名连续创♐业者⁉🏴。以LLaMAX🦎模型为例，🔕经过WAL🏊♀️大笑江湖 下载AR训练后，它在⛄xCOME👶🤛T评估指标上的🏴平均分数从64🇹🇰🥌.97提升到📁了71🔋.34，🏠这相当于提升了🍚近10%🇧🇸🙇的翻译🧝♂️👨👨👦👦质量📻。
