「数学专业团队」共找到 3934 篇相关文章
16岁炒马斯克鱿鱼，SpaceX天才转投北大数学校友赵鹏麾下
16岁天才Kairan Quazi从SpaceX离职，入职全球顶尖量化交易公司Citadel Securities。他曾14岁毕业于圣克拉拉大学，被马斯克选中加入SpaceX。他表示量化金融反馈快、结果直观，且新公司欣赏他的非传统背景。
12人团队打造AI陪伴神器，半年内斩获3000万美元投资
Tolan是今年2月上线的APP，公司仅12人。其虚拟形象可为用户提供情绪价值，下载超300万次，付费超10万。本月背后公司Portola完成2000万美元A轮融资，此前还有1000万美元种子轮。
孪生素数猜想被GPT-6新突破！北大数学07级又出现了
OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。
谷歌创始人布林紧急接管Gemini团队，但“3.5 Pro已被取消”
谷歌Gemini 3.5 Pro未按计划推出，据判断已被取消。Gemini Flash系列表现不佳，谷歌AI面临压力，创始人布林重新参与相关战略讨论，而谷歌可能存在算力分配问题。
三分之一arXiv沦陷！CS论文65%被判「AI味」，数学仅0.7%
一份unslop研究显示，过去一年arXiv计算机科学领域65%新论文被检测器标红，但可能只是闻起来像AI。数学论文仅0.7%，或因检测器只认文字。研究有局限性，真实用AI比例可能更高。
5.1K Star！Codebuff 把整个 AI 编程团队装进你的终端！
Codebuff是开源AI编程助手，获超5.1k stars。其多智能体架构让不同智能体分工协作，理解代码上下文更好、编辑更准。官方测试中完成率61%，超Claude Code。它免费且上手简单，还能创建自定义智能体。
击败GPT、Gemini，复旦×创智孵化创业团队「模思智能」，语音模型上新了
近日，由复旦邱锡鹏担任首席科学家的模思智能发布多说话人自动语音识别模型 MOSS - Transcribe - Diarize，性能超 GPT - 4o、Gemini 等。它解决语音领域落地痛点，跑分亮眼，还解决 SATS 方案不足，开放 API 限时免费。
Mira公司内乱？CTO被开除，带团队回OpenAI，翁荔上推发言
Thinking Machines Lab创始人官宣与CTO Barret Zoph分道扬镳，任命Pytorch之父Soumith Chintala为新CTO。约1小时后，OpenAI宣布Barret Zoph等回归。核心成员离开引关注，翁荔还发了意味深长的话。
Meta AI大裁600人，亚历山大王操刀重点砍向LeCun团队
Meta AI大裁员600人，老牌实验室FAIR是重灾区，新成立的TBD Lab未裁员还招人。新任首席AI官亚历山大王操刀，称部门官僚化需重组。扎克伯格对AI进展焦虑，LeCun或辞职务，还撇清与Llama关系。
陶哲轩亲测！GPT-5 Pro 40分钟破解3年难题，登顶最难数学考试
数学家陶哲轩将几何难题交给GPT - 5 Pro，虽推理完美但无解。同一周，GPT - 5 Pro在FrontierMath测试集夺冠。陶哲轩测试发现AI在科研不同层面表现有别，也揭示了AI理解力受限及人类与AI的分工边界。