（来源：上观新闻）
不是🔫。据IT🤑之家了解，🥄Fintool 🙎♂️由尼古拉 ♎💇· 布斯🌸塔曼特与💸爱德华 · 戈弗👩👩👧🕚雷在旧金山🍌联合创🦔立，这家初🕋创公司开🔧💴发的人工智能🏁🐠助手，可协👁🕠助投资者与🍸🍶分析师😋🇦🇲开展定性金融🍍🇪🇺研究工作🇦🇱🤫。别人迭代速度以天👤🌨为单位计算，而你🏦公司的迭代周🧳👨👧👦期最长为一个月，🇬🇮🐙如此一来，差💤👜距很快就会显🇼🇸现🇸🇽😈。
但同样有个🍂🎃坏消息🎙🇳🇫，第152层在决🦹♂️☝定从第3层汲取多🗡☃少时，只依📜赖第152层本😓🇵🇳身的状态，🔰⌚它并不知🈲道第3层实🇹🇴🥐际包含了什🇳🇺么🦸♀️🔋。因此，🐨🌂尽管相关工👳📄作在自动生成👷证明方面取得了长😫🐭足的进步💌🇬🇧，但是从➕本质上来🐚🔷看形式化方法仍然🆓是‘屠龙之术’，⚽难以推广至👨👨👦大规模系▪统软件🇱🇺🚗。
