「中国数学家」共找到 953 篇相关文章
从"单芯作战"迈向"系统集成"：产业变革背景与两大关键技术
随着摩尔定律逼近极限与AI算力需求爆发，集成电路产业正从‘单芯作战’迈向‘系统集成’。文章介绍Chiplet和SoW技术内涵、优势，对比二者差异，还提及中国‘软件定义晶上系统’技术路线及产业发展现状。
一杯咖啡，3亿美金！斯坦福天才少女退学创业，Meta AI大牛排队加入
2024年，斯坦福博士生Carina Hong与前Meta AI研究员交谈后，退学创办Axiom Math，目标打造「AI数学家」。公司首轮融资6400万美元后估值3亿美元，吸引Meta等公司顶尖AI人才，虽面临竞争，但前景广泛。
陶哲轩转发！华人数学博士后反超DeepMind AI，停滞18年数学问题1个月内3次突破
DeepMind的AlphaEvolve打破集合和差问题18年纪录，华人博士后Fan Zheng等数学家出手反击。人类用测度集中性少量辅计算机，1个月内该问题3次突破，陶哲轩称不同方法可互补推动数学进步。
南科大教授余沛源创业做AI+材料：真正难的不是生成，而是验证
南科大教授余沛源创业成立三向纪元，构建可验证材料模型。他认为AI+材料研发难在验证，当下是产业化窗口期，中国有优势，初创企业与大厂各有优劣，公司有独特技术与商业模式。
OpenClaw 之后，Agentic RL有了新训练范式
大模型技术推动AI从‘回答问题’迈向‘执行任务’，Agentic AI兴起。中国科大认知智能全国重点实验室提出Claw - R1项目，将前沿Agent Runtime与强化学习训练框架结合，为Agentic AI提供新训练基础设施。
从 Redis 到 Valkey，开源社区如何快速创新？
文章介绍了开源键值数据库 Valkey，它诞生于 2024 年 3 月，由 Linux 开源基金会托管，完全兼容 Redis OSS 7.2.4。Valkey 版本迭代快、性能提升、云厂商跟进、社区规模增长、迁移成本低。中国开发者在其中贡献突出，Valkey China 公众号也已上线。
IMO题库“过时”了！OpenAI内部模型挑战最新First Proof，做了7天错了一半
谷歌发布Gemini 3 Deep Think爆火后，OpenAI用未发布内部模型，一周内尝试解答10道来自数学家科研现场的真实问题，5道基本正确。这些题取自真实研究，切断模型“背答案”可能，意味着自主推理能力进化。
为什么中美可以谈农产品、飞机，却很难谈AI芯片？｜甲子光年
中美AI竞争进入“有限接触”时代。农产品和飞机属传统贸易，可定价、可替代；AI芯片被美视为战略资产，关乎未来能力分布。美国对华芯片政策现折中倾向，中国正重构AI供给体系。
从「能用」到「好用」：数据可视化的三个维度，你还在第一层吗？——人大提出图表创作新方式
数据可视化面临静态视觉与动态叙事挑战，如设计繁琐、动画门槛高、交互难复用。中国人民大学IDEAS Lab团队与山东大学交叉研究中心推出PiCCL、CAST、Libra，解决创作难题，还探索用大模型提升可视化效率。
芯片就像重庆，英特尔说的
英特尔中国区董事长王稚聪将芯片比作重庆，称其城市规划与芯片剖面图相似。在重庆举办的大会上，英特尔展示新意，如18A工艺制程等，还在端侧和数据中心领域提出新观点与合作成果。