11月04日·数学界重大突破：UCLA与MIT数学家推翻39年经典猜想

55 0 0

11月04日·周一 AI工具和资源推荐

AI智库导航-aiguide.cc为您提供最新的AI新闻资讯和最新的AI工具推荐，在这里你可以获得用于营销的AI聊天机器人、AI在商业管理中的应用、用于数据分析的AI工具、机器学习模型、面向企业的o g zAI解决方案、AI在商业客户服务中的应用、AI和自动化工具等。

数学界重大突破：UCLA与MIT数学家推翻39年经典猜想

近日，加州大学洛杉矶分校（UCLA）和麻省理工学院（MIT）的数学家们成功推翻了概率论中存在39年之久的“上下铺猜想”。这一猜想，也称为双层床猜想，是渗透理论中关于图的边随机删除后路径和簇的著名假设。研究者们通过AI辅助和理论论证相结合的方法，最终找到了反例，证实了这一猜想的错误性。这项成果不仅展示了数学直觉的局限性，也引发了对数学证明本质的深入讨论，特别是在计算机和AI技术日益普及的今天，数学研究的规范是否需要更新成为了一个值得思考的问题。来源：微信公众号【新智元】

15岁初中生CTO项目ChatNio被百万收购

山东一位15岁初中生以CTO身份成功将其开源项目 ChatNio以数百万元价格出售。该项目是一个集成多种流行模型和服务的一站式平台，包括OpenAI、Midjourney等，提供chatbot、AI助手、图像生成等多功能服务。ChatNio因其高性价比和全面功能迅速积累了超过10万月活跃用户，实现了每月约5万的净利润。这位年轻的开发者已有7年的项目开发经验，技能涵盖全栈开发、网络安全等多个领域。他的成功故事始于学校机房，通过自学和实践，逐渐在各类赛事中斩获奖项，并在网上承接项目，最终实现了ChatNio的商业化。这一成就不仅展示了年轻一代在技术领域的潜力，也反映了开源社区在推动技术创新中的重要作用。来源：微信公众号【机器之心】

Mochi 1：开源AI视频生成模型突破电影级特效

AI视频生成领域迎来了一位强大的新搅局者——Mochi 1，由Genmo推出的这款模型以其电影级别的视频生成效果和开源免费的特性，被誉为“赛博菩萨”。Mochi 1基于非对称扩散Transformer架构，拥有100亿参数量，成为迄今为止开源的最大视频生成模型。它在运动质量和提示依从性方面表现出色，能够模拟流体动力学、毛发等物理特性，同时保持高度的时间连贯性和逼真的运动动态。尽管当前版本仅支持480p视频生成，但Mochi 1 HD的720p版本预计将于今年晚些时候发布，进一步提升视频的保真度和流畅度。Mochi 1的开源为视频生成领域带来了新的可能性，预示着高分辨率、长视频生成技术将更加普及。来源：微信公众号【新智元】

谷歌AI生成代码争议：员工质疑25%新代码由AI撰写

谷歌CEO劈柴声称公司超过25%的新代码由AI生成，此言论引发了广泛讨论和谷歌内部员工的反对。一些员工在新闻网站HK上发帖，认为这一数据夸大了AI在代码编写中的作用，指出AI代码补全更像是一个生产力工具，而非真正的软件工程设计工作。Linux之父Linus Torvalds也对此表示批评，认为AI更多的是营销策略而非实际应用，认为人工智能市场90%是营销，10%是现实。这一争议反映了AI在编程领域的实际应用与公众预期之间的差距，同时也突显了AI技术在实际工作中的局限性和挑战。来源：微信公众号【新智元】

英伟达DexMimicGen技术：5次演示生成1000个机器人操作演示

英伟达实验室近日提出了一种革命性的机器人训练新方法——DexMimicGen，该技术能够在仅有5次人类演示的情况下生成1000个新的机器人操作演示。这些生成的演示在仿真环境中训练出的机器人任务成功率极高，最高达97%，甚至超过了使用真实人类数据的效果。DexMimicGen由英伟达与德克萨斯大学奥斯汀分校联合团队开发，其中三位共同一作均为华人，是李飞飞的“徒孙”。这一技术不仅解决了机器人领域数据收集的痛点，还展现了跨任务的泛化能力和对初始状态分布变化的鲁棒性，预示着机器人学习流程的未来将是生成式的。来源：微信公众号【量子位】