（来源：上观新闻）
” 3月27🍷日，2🐭⛑026中关村论坛🇩🇰📴年会脑机接口创新🖱🇩🇬发展论🎎坛在北京举👨👨👧👧🍍办🇧🇼。他们收集了9🌬🙅8000🦜🥣个数学证明🦡🐡问题，涵盖了证明🤛🧚♀️生成和🇸🇽证明验证两种能力🇱🇹🥘，总共生成了8🤪👖1.6⌛🥠万个训练样本🔘。
但别以为🍰🇳🇱小白就能🇳🇷🅱做到这样的🇹🇦程度，一⭐旦你想👂🥨试试，就会发现，🌷总是被迫🥤在各种网🇧🇱页和软件之🇺🇦间反复横跳：找这🦠⭐个大模型写脚本文🇧🇳😙案，切到那个🦷工具生成图🇦🇸🤣像，再换一个平🇯🇵❔台去把图👩🚀转成视🏳🔯频🇹🇩。
不过，除开这🍂🎢些非技🇵🇳🔕术因素7️⃣的干扰，Anth🌳rop😍ic指出，其上🕙周发布的电🧔🇳🇪脑使用功能◾也引发了模🗼型订阅量的激增🍖🚎。但是，这个叙事在🏈现实中😘⬇是不是🙅♂️😼真的成立▶🇦🇽，还需要进一步探💟🇷🇴讨的🇧🇯🏣。
