「技术问题」共找到 5568 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
「小米们」的百镜大战，带火国产眼镜老板
今年10月以来，AI、AR眼镜迎新品发布期，双11销售大增，带火眼镜制造商和零售商。传统眼镜厂商受益于配镜需求和高利润率，但也面临价值量少、选择多等问题，且难成持续增长主力曲线。
ChatGPT开始搞社交了
谷歌狂放大招，ChatGPT更新群聊功能，与微信、QQ群聊神似，还能让聊天机器人判断群气氛决定发言。不久前奥特曼称不做社交，此次更新被指仓促，未直击痛点、缺乏技术突破。
Nano Banana Pro最全解析，设计师和开发者都用得上，附官方提示指南
Nano Banana Pro基于Gemini 3 Pro构建，将逻辑推理能力注入像素生成，解决画面准确性、逻辑性问题。它在多方面实现飞跃，应用广泛，谷歌还给出提示词使用技巧，但在部分处理上仍有提升空间。
The Sentient Interface: Art, Technology, and the Expanded Mind
在计算与数据主导的时代，艺术、科学与技术边界渐趋模糊。本次活动汇聚四位从业者，探讨如何将无形元素转化为审美体验，从生态数据到AI叙事，跨越学科探索人机关系与环境依存。
印度迎来AI工具“0元购”时代！OpenAI、谷歌等巨头内心os：别急，先让他们上瘾，我们再来收费
过去几个月，Perplexity、谷歌、OpenAI 等科技巨头纷纷在印度推出免费 AI 服务。分析师称这是对印度数字未来的长期投资，先让用户上瘾，再推付费服务。不过，这也引发数据隐私等问题讨论。
Meta 系 95 后华人明星团队，创业一年就与高通达成合作，让手机拥有多模态记忆
由华人创业者沈俊潇创办的 Memories.ai 发布 LVMM 2.0 并宣布与高通合作，该模型 2026 年将在高通处理器上原生运行。它解决视频可搜索性问题，应用广泛，能降低延迟、确保数据安全等。
清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明
清华大学科研团队用自主研发的AI数学家系统（AIM），以人机交互模式解决均匀化理论研究问题，形成约17页证明。研究系统性总结五大高效人机交互模式，在三方面取得突破，还提出未来研究方向。
我MiniMax，用实习生处理数据，照样屠榜开源大模型
MiniMax M2屠榜开源大模型，引发社区热议。它在注意力机制、数据处理、思考模式上另辟蹊径，公开技术细节。M2团队选Full Attention，雇实习生处理数据，提出交错式思维链策略，强调实用性和泛化能力。
重磅发布！国家队出手解决企业跨省通信「老大难」，语音识别错误率暴降20%
企业全国语音通信业务曾面临交付周期长、AI应用门槛高的问题。联通云犀平台以「全云化架构+语音AI基座」破局，实现架构重构与AI进化，降低方言识别错误率，在多行业落地降本增效。