「中国数学家」共找到 953 篇相关文章
《“人工智能+”行动意见》深度解读：从人口红利到智能红利，中国经济社会变革新引擎
《“人工智能+”行动意见》是全面重塑中国经济、社会与治理体系的国家战略。它以应用促创新，定位AI为新质生产力关键引擎，涉及多领域变革，还采取不对称竞争策略，应对国际博弈。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华团队推出AI Mathematician（AIM）框架，可将LRMs推理能力延伸至前沿数学研究。它由三大模块驱动，有两大核心策略。实验显示其能解决多个挑战性问题，虽有不足，但未来有望成数学研究核心驱动力。
一篇论文改写AI科研评价规则！中国公司拿出实践数据，双榜第一、成本更低
今年科技巨头入局AI4S，想打造“AI科学家”。8月19日《Measuring AI Scientists: From Exams to Discovery》论文提出评价范式。深度原理MIRA平台是现实样本，在评测中表现优异，沉淀闭环数据。
3000块钱，这支中国团队把ChatGPT成功的“秘密”用在了机器人训练上
国内穹明智能团队推出千元级手持采集系统 UMI ver.2 并开源。该系统精度达毫米级、能双臂协同，成本低、部署快。团队认为数据是关键，还计划搭建机器人数据 infra，预计新模型范式很快出现。
图灵奖得主领衔，中国大模型第一梯队集结！2026智源大会，看懂AI下一程
2026年6月12 - 13日，第八届智源大会将在北京举办。多位图灵奖得主、40余位AI企业CEO等将齐聚，探讨超级模型等关键方向。大会还关注世界模型、智能体等核心方向，设25场论坛，首次实现“智能体听会”。
8家国产芯无缝衔接DeepSeek-V4，中国AI算力生态的拐点来了！
4月24日DeepSeek-V4预览版发布，华为昇腾等八家国产AI芯片厂商同日完成全链路适配与性能优化。这得益于FlagOS开源软件栈，也因DeepSeek主动适配策略。后续竞争将转向软件生态完整度。
陶哲轩最新演讲：AI 不是来抢数学家蛋糕的，是来把蛋糕做大的
陶哲轩在 SAIR 基金会活动演讲指出，数学领域工作方式正被新技术撬动。数学保守、协作难，而形式验证是关键。他主导项目用三个月解决 2200 万代数题，还探讨了 AI 在数学中的应用，认为它应做大蛋糕。
英特尔中国 40 年，未来战略明确：坚持代工业务，Intel 18A 是未来三代产品基石
在英特尔产业创新大会上，英特尔明确战略方向，坚持代工业务，以 Intel 18A 为未来三代产品基石。明年将推更多基于该制程的产品，还发力新兴市场。此外，其 Panther Lake 平台性能飞跃，推动 AI PC 发展，也助力机器人市场。
现在，最会赚钱的AI是Qwen3！全球六大模型厮杀，Top 2来自中国
大模型「炒股」大赛中，阿里Qwen3 Max逆袭DeepSeek夺冠，成「最会赚钱」模型，GPT - 5成「最会赔钱」AI。比赛由Nof1实验室打造，Qwen3 Max成绩体现国产大模型实力。
中国科大Science-Star（科星） : 一体化、可扩展的科学智能体搭建平台
中科大认知智能全国重点实验室开发了 Science - Star 科研智能体平台。它基于 ReAct 引擎，有一体化可视化支持、插拔式模块化架构和跨学科工具集成等特色，为科研智能体研发与实验提供高效基础设施。