浙大校友用AI突破32年拉姆齐数下界
浙大校友用AI突破32年拉姆齐数下界数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
来自主题: AI资讯
10476 点击 2026-05-10 12:46
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
数学界尘封32年的拉姆齐数经典难题被打破！浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramsey，成功将拉姆齐数R(3,17) 下界从92提升至93，终结了自1994年以来长期停滞的纪录。
SWE-Bench上能拿72%的模型，换张考卷直接归零！Meta联合斯坦福、哈佛放出ProgramBench，200个项目从零手写，9大顶级模型完整通过率0%。最强的Claude Opus 4.7平均通过率也才51.2%。更离谱的是一联网，就有模型在36%的任务里跑去GitHub扒源码。
DeepSeekV4的技术报告里有mHC，有CSA，有HCA，有Muon，有FP4……唯独没有Engram。Engram在今年1月由DeepSeek和北大联合开源，主要研究大模型的记忆与效率问题。
伦敦大学学院（UCL）、普林斯顿大学和爱丁堡大学的研究团队联合推出了Avenir-Web，让现有多模态模型像人类一样使用网页。现有的Web Agent在面对复杂的网页结构（如 iframe、Shadow DOM）时，往往会陷入“定位不准”“缺乏常识”或“走着走着就忘了”的窘境。
社交网络应用 Series 宣布已筹集 510 万美元的种子前轮融资，投资者包括 Venmo 联合创始人 Iqram Magdon-Ismail、Pear VC、Reddit 首席执行官 Steve Huffman 以及 GPTZero 创始人 Edward Tian。该公司由耶鲁大学学生 Nathaneo Johnson 和 Sean Hargrow 于去年初创立，两人目前仍在该校就读大四。
海外短剧赛道跑了两年多，头部格局已经形成。ReelShort 2025 全年应用内购收入收入约 5-6 亿美元，DramaBox 紧随其后，两家合计拿下海外市场近大半份额。再往上看，Netflix 超过 60% 的内容是自制，其余 30%—40% 靠版权采购填充。
身边做短视频的朋友，几乎人手一个剪映。
据知情人士透露，一家从哈佛大学独立出来的新型人工智能实验室正在与投资者进行谈判，以筹集约1 亿美元，以追求一项听起来像科幻小说的使命 ："一个人类可以记住一切的世界"。
多数 AI 创业公司卖的是一个更好的模型。CREAO AI 卖的是一个更好的循环。 这家公司刚刚完成千万级美金融资，领投方为 Prosperity7 Ventures——阿美风险投资（Aramco V
每月5美刀，就能在你家服务器里养个AI打工人，无缝接入Telegram、Discord、Slack、飞书、企业微信等平台。它不仅能帮你干活，还会自己攒技能并反哺训练。网友直呼：换掉OpenClaw太爽了！