搜索：中国数学家 - AI Reading Hub

「中国数学家」共找到 953 篇相关文章

国产英伟达，离上市越来越近了

国产GPU明星企业摩尔线程申报不足3个月即上会，刷新科创板上会速度。它由前英伟达中国区总裁创立，获众多资本支持，虽营收增长快但累计亏损53亿，预计2027年或盈利，监管关注其盈利能力等问题。

困扰数学和量子力学交叉领域半个世纪的“十杯马天尼”问题，虽2005年被数学家给出完整证明，但原证明依赖特殊对称性，难以推广到现实。北大葛灵睿、南开尤建功加入研究，将结论推广到更大类准周期算子，给出更优雅统一证明。

镁伽科技是中国收入最高的机器人自主智能体供应商，近期向港交所递交招股书。其面向生命科学和智能制造领域，产品有“机器人科学家”之称。背后有博世、药明康德等巨头及明星资本加持，估值超105亿。

本文讲述张汝京投身中国芯片事业的故事。他出身科研家庭，心怀家国情怀，辗转多地建厂。回大陆创办中芯国际，解决资金、人才等难题，却遭台积电诉讼。后投身LED、硅片、CIDM等领域，为产业补短板。

中国 29 岁中专毕业的 AI 视频创作者 Mx - Shell 用 10 天、3000 元成本做出 AI 短片《丧尸清道夫》爆火，海外 CEO 隔空递 offer。短片将推大银幕版，游戏版也在制作。Yoroll 创始人谈 AI 互动游戏赛道玩法、商业化等问题。

Canva月活2.65亿，在a16z排名第三。4月16日开启Canva AI 2.0内测。联合创始人Cameron Adams称，自研模型结合14年数据是护城河，Magic Layers功能验证其价值。Canva要成用户进入AI入口，还会在中国持续投入。

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

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

中国电信天翼AI发布星辰超级智能体，获2025企业级AI Agent榜单央企第一。它依托自研“星辰大模型”，具备全模态、复杂推理等能力。访谈专家指出智能体可直接产出应用，落地需嵌入主业系统，电信持续迭代模型优化它。

在全球半导体产业格局重构背景下，RISC-V从边缘走向核心。第五届RISC-V中国峰会举办，包云岗分享其产业应用观察。虽前景好，但RISC-V面临诸多问题，他认为开源是破局关键，还介绍了降成本案例和香山项目。