搜索：智能低模生成

「智能低模生成」共找到 6090 篇相关文章

AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了

陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。

著名数学家陶哲轩在与播客主持人Dwarkesh Patel的对谈中分享使用AI一年后的观点，认为AI已将想法生成成本降至几乎为零，但验证和评估成新瓶颈，还探讨其对数学研究的影响及未来发展。

谷歌发布世界模型原型 Project Genie，用一句话或图就能生成可玩交互的实时虚拟世界，由劈柴哥和哈萨比斯站台。它基于 Genie 3、Nano Banana Pro 和 Gemini 构建，解决了世界模型长期以来的短板，目前处于实验阶段。

理想推出首款AI眼镜Livis，售价1699元起，整备重仅36g，续航18小时。它能控车、有头枕音响，还可拍照录像。采用流式智能语音框架，核心亮点是理想同学语音助手，意在构建以车为核心的AI生态。

今天凌晨Anthropic召开开发者大会，发布Claude 4，含Opus 4和Sonnet 4。Opus 4编程智能体连续工作7小时破纪录，Sonnet 4在SWE - bench表现超前沿模型。还新增功能，Claude Code开放，API也有新特性，Sonnet 4免费但有限制。

Hinton在演讲中提出“凡人计算”概念，指出生物智能会随肉体消亡，而AI软件与硬件解耦可“不朽”，还怒怼乔姆斯基，认为大语言模型理解语言方式与人类相似，且数字计算在知识共享上远超生物计算。

新浪微博开源的VibeThinker - 1.5B模型，仅15亿参数、训练成本不足8000美元，却在顶级数学竞赛基准击败近万亿参数模型。它采用频谱到信号原则，分两阶段训练，性能出色，成本低且数据无污染。

日本一座合资建设的数据中心是AI战略象征，承载训练大模型任务。但生成式AI兴起让数据中心成“电老虎”，与日本环保目标冲突。日本在发展AI与碳中和间艰难平衡，面临能源结构等多方面困局。

腾讯推出专业级AI工作台混元3D Studio，可覆盖3D资产生产全流程，让生产周期大幅缩短。它有组件拆分、可控图像生成等七大核心技术模块，各模块对应关键阶段，实现无缝衔接与自动化。

作者从n8n的2598个模版中筛选10个实用工作流模板，覆盖多种场景，均为今年新开发且免费。模板开发思路和节点用法巧妙，有借鉴意义，还能提升AI生成工作流质量，文末可自取文件。