搜索：人机共融智能

「人机共融智能」共找到 315 篇相关文章

陶哲轩，用AI爆改科研范式

菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。

本文基于公共云大客户出海投资业务案例，探讨用AI大模型结合机器学习算法构建投资预算预测与分配系统。历经三版方案迭代，从纯大模型到引入机器学习算法，目前项目处于落地阶段，有望实现多方共赢。

中国企业出海面临信息分散、专业支撑不足、属地化服务难等问题。7月17日，中国信通院与腾讯在2026世界人工智能大会共赢金砖论坛上推出AI航海家+，将七国生意经装进AI对话框，有22位懂当地规则的专家，能替企业做判断。

CSDN策划的“AI进化论”直播栏目，超50万人观看。李建忠与凯文·凯利跨洋对谈，涉及人机交互、智能路线等十大话题。凯利观点犀利，如认为通用智能是伪命题，AI创造力是“异人”的，科技巨头难在AI时代保持主导等。

当下推理模型流行在测试时多循环，以打磨答案。但新研究发现，7B模型LoopCoder v2只多循环1次（共2次），就能大幅提升性能，继续增加循环次数，性能反而下降。研究还分析了收益与成本，给出选择循环次数的诊断方法。