-
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
LLM可以作为辅助人类证明定理的工具，这一论点已经被陶哲轩多次证实了。 他前脚刚在博客里预测，26年AI将和搜索、符号数学工具结合，成为数学研究中值得信赖的合著者。 紧接着，佐证他观点的研究就如雨后春...
-
AI独角兽月之暗面创始人杨植麟套现数千万美金
。 资料显示，杨植麟的创业之路始于2016年的销售科技领域企业服务公司循环智能（Recurrent AI），之后于2023年3月创立了月之暗面，已经成为中国大模型领域的六家独角兽之一。 月之暗面在资本...
-
Gartner预计：到2028年，将有75%的企业程序员使用AI辅助工具。同时，开发团队需警惕上级的过高期望
微信号：blog51cto） 日前，Gartner预测，到2028年，将有75%的企业软件工程师使用AI代码助手。值得一提的是，这一比例在2023年初尚不足10%。 根据对598位大型企业软件工程领导...
-
AI性能旗舰魅族21 Note曝光！对标友商K70和Ace3
数码博主数码闲聊站”今天透露，魅族备案新品不是网传的21X，市场名称预计叫魅族21 Note，定位AI性能旗舰，在游戏和性能体验上完全对标友商（Redmi）K70和（一加）Ace3。 该博主还透露...
-
这个AI赛道，一个月内融资4笔，一大半的创始人是华人
声明:本文来自微信公众号“白鲸出海”（ID:bAIjingapp），作者:张凯然，授权站长之家转载发布。 仅在2024年3月一个月，就有三个华人创立的 AI 视频生成创企获得了融资，而且融资额都过了千...
-
PR+AI重新定义视频剪辑，Sora、Pika全接入，AI视频创企还有的玩吗？
）这款软件都一定不陌生。 前几天，Adobe官方发布了一条视频，快、准、狠地演示了PR即将上线的3个AI功能——对象添加、对象删除和生成扩展。 用户可以直接在PR内调用Sora、Pika、Runway...
-
用AI应对网络安全挑战，思科推出“HyperShield”安全系统
思科日前推出了一款新的安全产品，据称可以利用AI帮助用户保护关键系统。 思科表示，这项名为“HyperShield”的安全系统能够将多个IT资产转换为安全执行点，包括公共云中的虚拟机和Kubern...
-
全国首例AI声音侵权案一审宣判 自己声音被AI化出售获赔25万元
据央视新闻报道，今日上午，北京互联网法院就全国首例“AI声音侵权案”作出一审判决。该案涉及配音师殷某的声音权益被AI技术滥用，引发社会广泛关注。法院最终裁定，被告方未经合法授权，擅自使用殷某的声音开发...
-
CIO分享：企业会把自己最好的生成式AI案例保密起来吗？
零售行业不乏生成式AI展现出实实在在好处的案例。以法国跨国公司家乐福为例，他们用生成式AI来制作数字化身和视频。他们让ChatGPT编写脚本，使用其他生成式AI工具来创建一个读取脚本的数字人，这是...
-
虚拟人聊天系统Live2D 利用ChatGPT+对口型打造你自己的AI女友
果，增强用户交互体验。 虚拟人可以与用户进行实时的文本交流，利用 API 如 Azure、OpenAI 和 APISpace 支持自然语言处理和生成，使虚拟人能够理解并回应用户的聊天输入。此外，项目...