本科必学Dijkstra算法被超越！清华段然团队打破图灵奖得主证明的普遍最优性
本科必学Dijkstra算法被超越！清华段然团队打破图灵奖得主证明的普遍最优性本科经典算法Dijkstra，被清华团队超越了！ 这个被用来解决最短路径问题的经典算法，去年才被图灵奖得主Tarjan团队证明具有普遍最优性。
来自主题: AI资讯
6078 点击 2025-08-09 16:13
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
本科经典算法Dijkstra，被清华团队超越了！ 这个被用来解决最短路径问题的经典算法，去年才被图灵奖得主Tarjan团队证明具有普遍最优性。
一起给GPT5上上强度吧！ 我相信它的参数、API、纸面实力已经被扒得差不多了，所以接下来的内容先会分为总结篇，把system card、发布会、OpenAI自家技术博客、奥特曼私下说的信息做个全篇，然后从编程、写作、多模态、PPT等等给GPT犁一边，最后再总结一下GPT-5后续的一些开发计划啥的，Here we go!
7月15日，Heron宣布完成了1600万美元的A轮融资，由Insight Partners领投，Y Combinator、BoxGroup和Flex Capital参投。这家专注于自动化文档密集型工作流程的公司，正在重新定义AI在保险、借贷和金融领域的应用方式。
当Cleo创始人Barney Hussey-Yeo在LinkedIn上宣布"Cleo刚刚达到2.8亿美元年度经常性收入，AI正是开始取代传统的理财管家。
Tavily，一家为AI提供企业级安全搜索API的初创公司，于近日完成2000万美元的A轮融资，由Insight Partners领投，公司累计融资额达2500万美元。Tavily源自其创始人在2023年创建的、在GitHub上广受欢迎的开源项目GPT Researcher，专注于解决AI智能体在访问互联网时面临的合规与安全挑战。
近日，麻省理工学院也推出了一个AI学习平台。这个名叫MIT Learn的平台提供超过12700个学习资源，其中大部分是免费的。这个名叫MIT Learn的平台提供超过12700个学习资源，其中大部分是免费的。
2025年初在硅谷创立 Ouraca Inc.，专注打造新一代“AI native” 的终身学习产品线。首款产品 Aibrary正式版即将上线：是全球首个专为个人成长打造的 Agentic AI，它不仅帮助你获取知识，更陪你思考，激发动机，引导行动，让成长真正发生。通过个性化播客、认知引导与行动建议，Aibrary 将书籍与专家洞见转化为你专属的学习旅程。
“大白”照进现实，机器人现在都长得这么“乖”了？！北京朝阳，傅利叶全尺寸人形机器人Care-bot GR-3全新发布。
AI模型排行榜分两类：以高考式标准化测试衡量特定能力的客观基准测试（如AAII、MMLU-Pro），以及用户匿名盲测、根据偏好对答案投票排名的人类偏好竞技场（如LMArena）。两者各有优劣和局限性，且排行榜本质是门生意。用户应基于实际需求而非榜单名次选择模型，实用性至上。
AI社交产品在全球市场表现下滑，如百度月匣被减少投入，字节猫箱等下载量暴跌。日本孤独经济本应推动增长，但Character.AI等产品水土不服；原因包括大模型情感连接缺陷、角色同质化、缺乏创新。行业融资降温、商业变现困难、监管风险凸显；情感需求真实，但产品无法满足，需待技术变革。