一秒看今天AI发生大事2023/07/01

每日AI盘点2023/07/01 1. 美团以2.84亿美元现金全额收购中国AI初创公司光年之外，并承担该公司5066万美元的债务，以获取AI技术和人才。 2. MIT和加州理工学院的研究人员利用ChatGPT证明数学公式，展示AI在数学领域的突破。他们提出了一个名为LeanDojo的开源平台，通过提供工具包、基准和模型，为LLM创建了一种定理证明的交互式环境。 3. 清华大学的朱军等人提出了一种使用INT4算法来加速类GPT模型训练的方法，声称训练速度提升26.5%。 4. Meta AI在最新的论文中开源了名为LLaMa的羊驼大模型，该模型的上下文窗口从2k扩展到32k，并只需要小于1000步的微调。 5. 一项调查显示，20%的男性使用ChatGPT等AI工具“美化”约会资料和提高交流技巧。在这些男性中，37%认为这有助于吸引更多异性关注，24%认为可以提高信息传递技巧。 6. 研究发现，人们更容易被AI生成的推文欺骗，很难分辨推文是由GPT-3生成还是人类编写的，并且更倾向于相信GPT-3生成的信息。 7. ChatHN是一款AI驱动的聊天机器人，可以与Hacker News API进行交互，帮助用户检索最热门的文章和评论。 8. 中国的Modelscope发布了一款名为Zeroscope的新一代开源AI模型，可以在现代显卡上运行先进的文本到视频服务，成本较低。 9. Runway获得1.41亿美元融资，计划扩大内部研究和增加员工数量，推动生成式AI工具Gen-2的创新，服务财富500强和全球2000强企业以及数百万个人创作者。 10.大型科技公司如Salesforce Ventures, Alphabet, Microsoft纷纷向生成式AI初创公司投资，最新的例子是Typeface以10亿美元估值融资1亿美元。