（来源：上观新闻）
真正引发🎗关注的是一个🐐具体案例：配备自🇸🇭定义工具框架💧🦒的GPT-🖕5.5内😄💍部版本🎰🐛，协助🔸😙发现了一项关🇭🇰于拉姆🥣齐数的新数学🤥证明，并在形式🍨🇯🇵化证明工具👧Lean中得☮🇹🇯到验证📓🇧🇶。
这家公司叫Bl⏸📝ue Energ🌨y，总部🇨🇺在美国马里🈯🇰🇲兰州，成立于20🥛23年，联👷🐻合创始人兼C🔶EO Jake👨👩👦👦 Jur🌐ewic🤞z是个👱♀️MIT核工程🛤🚺系毕业的90后🏛🇭🇹。
有人将其在服⬅务区停车🍜看手机的画🍴☯面配上💰“雷军被🐗🇧🇲纳网域名注册车主堵在车🇬🇼📐里维权🇬🇺❇”的文👩👩👦字，传播至各🇹🇩🦚大平台🕶👚。更重要的是风🚆格的稳🇷🇪定性🥼🚰。
