刚刚，2025哥德尔奖出炉！破解30年难题，十年论文摘桂冠
刚刚，2025哥德尔奖出炉！破解30年难题，十年论文摘桂冠刚刚，理论计算机年度大奖——2025年哥德尔奖揭晓！康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman荣获此奖。
来自主题: AI资讯
7947 点击 2025-06-10 15:15
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
刚刚，理论计算机年度大奖——2025年哥德尔奖揭晓！康奈尔大学副教授Eshan Chattopadhyay与导师David Zuckerman荣获此奖。
虎嗅从多个独立信源获悉，半年前，某DeepSeek核心高管已悄然离职创业，并将于2025年圣诞节前后发布Agent产品。有信源告诉虎嗅，该高管系原DeepSeek CTO。
大模型目前的主导地位只是暂时的，在未来五年甚至十年内都不会是技术前沿。 这是新晋图灵奖得主、强化学习之父Richard Sutton对未来的最新预测。
王劲，香港大学计算机系二年级博士生，导师为罗平老师。研究兴趣包括多模态大模型训练与评测、伪造检测等，有多项工作发表于 ICML、CVPR、ICCV、ECCV 等国际学术会议。
视觉语言模型（VLM）正经历从「感知」到「认知」的关键跃迁。 当OpenAI的o3系列通过「图像思维」（Thinking with Images）让模型学会缩放、标记视觉区域时，我们看到了多模态交互的全新可能。
近日， Mastra AI 创始人 Sam Bhagwat 在 X 上发布了一条推文，称其中提到大约 60~70% 的 YC X25 Agent 公司正在使用 TypeScript 构建他们的 AI Agent。
你有没有想过，那些电视台、制作公司里堆积如山的视频素材，可能马上就要被彻底重新定义了？想象一下，从数千小时的视频内容中找到你需要的那一个镜头，不再需要安排一群人没日没夜地看片子、做标记，而是只需要简单描述一句"奥巴马谈论人权的片段"，系统就能立刻定位到精确的时间点，并提供详细的场景描述、人物信息和镜头分析。
AI行业爆发补贴大战，Perplexity、OpenAI和Google等公司提供免费会员和折扣吸引用户，类似滴滴和美团历史。这些补贴旨在提升ARR指标以融资，但导致亏损加剧；创业公司面临巨头竞争，用户可利用低价机会。补贴未来可能退潮，价格恐上涨。
AnySphere 联合创始人兼 CEO Michael Truell 所构建的 Cursor，不仅是当前增长最快的 AI 编程产品之一，更是未来“后代码时代”的早期形态。
宾夕法尼亚大学沃顿商学院生成式AI实验室刚刚发布了两份重磅研究报告，通过严格的科学实验揭示了一个令人震惊的事实：我们可能一直在用错误的方式与AI对话。这不是胡说八道，而是基于近4万次实验得出的硬核数据推理的结论。