（来源：上观新闻）
那么，🛁🏋️♀️AI4🛰➖S究竟是什么呢？🇸🇸据悉，其是以人🛷💥工智能手段💆辅助或独立完👗🔵成科学🤳研究任务🕠的一种模式🇪🇸。当 AI🔅 负责写⛅代码，另一个➰🇻🇨 AI 负责证明🦖🇼🇸它是对🚟的，软件工程🤧🇨🇺的核心问题，正在🏍⛽被重新🤷♂️😕定义🧒。最后，只要🥜分别证明每🇹🇻个函数的实🕘现（Im🔌🙋♂️pleme🍑ntat💺📢ion）和规约🍓🛍一致，✴🇧🇶就能直🏛接推理🇲🇵🌿出整个系统满☄足正确性🇦🇶。
说到这，有些人可📂能会问🎥：弄这🏌💲么多人形机器🧖♂️🇺🇲人跑马拉松，意义🍑何在？ 🇬🇹 同人类一样，🍖马拉松从来不🚀🔣在冠军的归属👔👨💻，而在“超越自🏜👍我”的过程🔘🌫。只要晶🥘©圆厂开工，机器一😸秒钟不停地在🔳轰击靶材，🥔🥴靶材就会越🔵用越薄，直到耗⛹🎶尽🚽。
