斯坦福数学博士洪乐潼（Carina Letong Hong）以0产品0用户估值达3-5亿美元创业，目标为量化和对冲基金提供数学AI解决方案。这位来自中国广州的女孩，曾用3年完成MIT数学和物理双学位，并发表多篇顶级数学论文。她的公司Axiom致力于训练AI掌握形式化数学证明语言，帮助解决复杂金融数学问题。尽管尚未推出产品，Axiom已吸引B Capital等知名投资机构关注，计划融资5000万美元。洪乐潼的学术成就和跨学科背景被认为是其估值的关键因素。

斯坦福临床医疗AI横评：DeepSeek R1以66%胜率夺冠 斯坦福最新发布的医疗任务大模型评测显示，DeepSeek R1以66%胜率领先，超越谷歌、OpenAI等知名模型。此次评测聚焦临床医生日常场景，而非传统医疗执照考试题。 研究团队构建了包含35个基准测试的MedHELM框架，覆盖22...

斯坦福大学的研究团队意外发现，通过AI生成的CUDA内核在性能上显著超越了PyTorch优化的内核。例如，二维卷积性能达到PyTorch的179.9%，层归一化性能更是提升了484.4%。这项研究由华人学者Anne Ouyang、Azalia Mirhoseini及Percy Liang主导，原本目标是生成数据训练内核生成模型，但测试阶段生成的数据本身却意外表现出色。团队采用多分支探索策略，结合语言推理，使AI在每次迭代中产生多样化的优化方案。此方法不仅展现了AI强大的推理能力，还表明无需大规模再训练，巧妙的搜索策略也能解决复杂问题。尽管仍存在优化空间，如FP16 Matmul和Flash Attention性能仍有提升余地，但研究团队对未来充满信心。该成果近期发布，引发了广泛关注。

斯坦福大学意外发现AI生成的CUDA内核性能超越人类专家优化的版本，部分操作甚至翻倍碾压PyTorch。该研究由华人学者主导，展示了AI在内核优化领域的巨大潜力。 研究团队原本计划生成合成数据以训练内核生成模型，但测试阶段生成的数据本身竟表现出色。在NVIDIA L40S GPU上测试显示，AI生成...

阿里 AI 实力获斯坦福权威报告认可！通义千问贡献排名全球第三、中国第一。 近日，斯坦福大学人工智能研究所发布的《2025年人工智能指数报告》显示，2024年度全球重要大模型中，中国贡献15项，其中阿里以6个入选模型排名第三，仅次于谷歌与OpenAI。阿里通义实验室已开源200多款模型，千问衍生模型...

斯坦福大学研究显示，自2022年11月ChatGPT推出后，AI写作工具在美国各行业中的使用率显著上升，尤其在教育水平较低的地区更为明显。研究发现，至2024年9月，约18%的金融消费者投诉、24%的企业新闻稿、15%的工作招聘启事及14%的联合国新闻稿显示出AI参与的迹象。尽管城市地区的AI采用率总体较高（18.2%），但教育水平较低地区使用AI写作工具的频率更高（19.9%），高于教育水平较高的地区（17.4%）。研究人员指出，AI写作工具可能成为消费者维权的‘平等化工具’，但也警告过度依赖AI可能导致信息可信度下降。

斯坦福大学的一项最新研究表明，大模型在数学推理能力上可能并未真正掌握解题逻辑，而只是检索已存储的题目。研究团队提出了一种新的Putnam-AXIOM基准测试集，涵盖1985年至2023年的William Lowell Putnam数学竞赛题目，以更严格地评估模型能力。 结果显示，即使只是更换题目中的变量名称和取值范围，模型的准确率就会大幅下降。例如，表现最好的o1-preview模型在原始数据集上的准确率为50%，但在变异数据集中降至33.96%。其他模型如GPT-4o、Claude、Deepseek和Qwen等也表现不佳。 这项研究揭示了当前大模型在数学推理方面的局限性，需要进一步提升其逻辑推理和数学严谨性。Putnam-AXIOM基准不仅提高了评估难度，还通过自动化评估和多样化变体数据集，为未来的研究提供了有力支持。

斯坦福团队最新研究将机器人技能拓展至系鞋带领域，发布全球首个机器人自主系鞋带演示视频，展现轻巧复杂的操作能力。网友反响热烈，赞叹不已。 除了系鞋带，Aloha 2机器人还能挂衣服、拧齿轮、收拾厨房，并为“同事”更换配件。其表现令人印象深刻，展示了出色的灵活性和适应性。 为训练Aloha 2，研究团队...

6月20日，阿里通义Qwen2-72B成为斯坦福大学HELM MMLU最新榜单上最强开源大模型，超越Llama3-70B，展现出强大的多任务语言理解和问题解决能力。HELM框架旨在提供透明、可复现的评估，确保了各模型测评的公平性。Qwen2作为首个中国开源大模型，排名居于GPT-4等知名模型之上，且自6月初开源以来，其下载量已突破1600万。这一成就体现了阿里在AI领域的技术创新与影响力。

斯坦福大学的华人团队推出了一款名为Proteus的AI视频模型，它能生成高度真实且富有表现力的人物动态，如让名画角色笑或做出非传统动作。AI专家贾扬清和Jim Fan对其赞赏有加。Proteus采用创新的潜在扩散模型，实现实时100+ FPS的视频生成，能根据输入照片模拟人类表情与动作，如鲁迅说绕口令、居里夫人唱歌等。它的目标是成为可控制的声音视觉化身，应用于多模态对话和定制化服务。团队由6名成员组成，其中包括三位华人，首席执行官William Shen和首席技术官Connor Lin均是计算机科学领域的优秀学者。