本期最重磅事件是OpenAI用【通用推理模型】首次自主解决数学难题,标志着AI在数学研究领域的里程碑。同时,Codex移动端支持手机端使用,MiniMax在Together AI推出600+新语音,微软介绍其开源内存分配器mimalloc

模型动态

OpenAI 通用推理模型自主解决80年数学难题

OpenAI 模型自主攻克平面单位距离问题(Erdős 1946年提出),发现全新构造超越传统网格解法。这是AI首次独立解决前沿数学开放问题,证明来自【通用推理模型】而非专用系统。论文:https://openai.com/index/model-disproves-discrete-geometry-conjecture/[1][2][3][1][2]

产品工具

OpenAI Codex 支持移动端使用

Codex 现可在ChatGPT移动应用中使用,用户可在手机上工作、回答问题,并跨设备同步线程。无需携带笔记本电脑。[4]

MiniMax 在 Together AI 上线 600+ 新语音

MiniMax 的Speech 2.8 Turbo模型为 Together AI 带来600+新语音,支持多种场景应用。体验地址:https://t.co/faZb6Q1lui[5]

微软研究院介绍开源内存分配器 mimalloc

微软研究院介绍mimalloc开源项目,专为现代大规模内存管理设计,支撑现代应用和服务的内存分配。项目地址:https://msft.it/6015vpoa7[7]

技巧教程

@归藏 分享墨水屏硬件+AI的实用场景

@归藏 发现墨水屏设备的最佳用法:开机时由AI推送To-do、日历等信息,关机时显示名片,配合磁吸挂在屏幕旁。将打包成Skills供用户使用。[6]