「AI生成数学」共找到 11008 篇相关文章
陶哲轩：我差点江郎才尽，只因在普林斯顿待了一年
菲尔兹奖得主陶哲轩在与播客主理人访谈中称，在普林斯顿埋头搞学术让他灵感枯竭，数学家需生活琐事激发想法。还探讨科学研究，如开普勒定律、AI在数学研究的应用、科学评估等问题。
Meshy用户破千万后杀向新战场：ARR年翻14倍，头部厂商集体买单
Meshy是计算机图形学大神胡渊鸣创立的AI 3D公司，其创意工坊打通“AI创意→实体交付”。Meshy生成模型打印适配度高，破圈至多元领域，注册用户破千万，ARR年翻14倍，获多轮融资。
程序员下班一看懵了？白嫖 Gemini / 本地大模型做时间追踪，用这个开源小工具给你一天自动出「git log」
Dayflow 是原生 macOS 开源应用，能以 1 FPS 录屏，用 AI 总结生成时间线，解决传统时间追踪记录不具体问题。它功能丰富，有自动时间线、分心高亮等，还支持多种 AI 模式，数据隐私性好。
Claude: 可视化
文章指出早期人与人靠体力拉开差距，工业革命后比拼脑力，AI 时代脑力被大模型拿走，人将比较心力。面对 AI 生成的海量文本，可视化或为解决脑力理解带宽瓶颈的解药，还给出了相关 Prompt。
大模型全面爆发，所有榜一都是Gemini！谷歌一夜站到了台前
北京时间今日凌晨，Google I/O 2025 开发者大会开启。谷歌发布或升级系列 AI 工具与服务，如升级 Gemini 模型、推出编程智能体 Jules 等，还展示视频图像生成模型、搜索与购物模式升级，展现其在 AI 应用领域强势回归。
Claude写完代码不直接交了：4个Skill自查一遍，改好再找你
Anthropic将AI验收纳入循环，让Claude写完代码后进行四道检查才交付，定义了验证循环，Claude Code团队有4个自查Skill，还介绍了写验证Skill的方法、触发设置，AI编程竞争正从生成转向验证。
我们在看同一个月亮吗？
本文是跨媒介艺术家解云的AI艺术作品《我们在看同一个月亮吗？》的两周年回顾，作品以NASA月球原图为起点，用生成式AI反向拆分延展图像碎片，探讨共同经验中的个体差异，已登陆多个国际展，后续将亮相更多艺术活动。
字节扣子空间上新一键转播客功能，现在我们真成同事了｜甲子光年
5月27日，字节跳动旗下AI协同办公平台扣子空间新增播客功能。其播客音频生成功能让AI从‘说什么’跨越到‘怎么说’，适用于多场景。扣子空间还具备跨模态协作等能力，引入MCP协议，免费开放核心功能。
字节跳动内部信：大幅调薪+职级洗牌；千问“干死豆包”图疯传，阿里回应；六小龙IPO战打响，MiniMax、智谱率先过聆讯｜Q资讯
本文汇总多则科技资讯。如字节跳动调薪并推行新职级体系；阿里回应千问‘干死豆包’图为AI生成；马斯克薪酬方案裁决恢复；OpenAI发布编程模型；小红书、腾讯等也有业务动态。
柔体操作最缺数据、最怕仿真失真？新研究让布料物理真实再现
上海AI Lab的SIM1研究实现布料物理性质真实再现，解决仿真数据与真实场景对齐问题。它提出real - to - sim - to - real新范式，通过闭环流程生成数据，能扩展轨迹、提升泛化能力，有望重新定义机器人数据天花板。