字节团队推出创新的自动定理证明系统 Seed-Prover，成功应对 IMO2025挑战
在最近的国际数学奥林匹克（IMO2025）比赛中，ByteDance Seed 团队的自动定理证明系统 Seed-Prover 表现...
分类： 采集
谷歌Gemini 2.5 Deep Think发布！IMO金牌加持，AI新王者能否重塑未来？
近日，谷歌DeepMind宣布其最强大的AI模型Gemini2.5Deep Think正式向Google AI Ultra订阅用户开放。这一...
GPT-5震撼来袭！OpenAI突破瓶颈，用户体验全面升级，背后却藏管理危机？
近日，知名科技媒体The Information发布了一篇关于OpenAI下一代大语言模型GPT-5的深度报道，详细披露了...
谷歌 AI 推出 MLE-STAR:一款智能化机器学习工程代理，助力自动化任务
近日，谷歌 AI 团队发布了 MLE-STAR（机器学习工程通过搜索和针对性优化），这是一款先进的代理系统，旨...
混元开源新方案 MixGRPO：训练效率大幅提升，性能反而更强
近日，腾讯的混元基础模型团队发布了一项突破性的图像生成新框架 MixGRPO。这一方案不仅将训练时间缩短...
宇树科技王兴兴获聘首席科学家，杭州布局具身智能新高地
8月4日，杭州高新区（滨江）举办人工智能产业创新高地建设推进大会，正式启动了杭州具身智能应用中试基...
谷歌AI基金押注印度游戏社交平台STAN：850万美元融资挑战Discord，用户边玩边赚成亮点
印度社交游戏平台STAN获得850万美元股权融资，谷歌通过其AI未来基金参与投资。这轮融资还吸引了日本游戏...
NVIDIA 发布 Cosmos DiffusionRenderer:革命性视频渲染技术
NVIDIA 近期推出了 Cosmos DiffusionRenderer，这是一个旨在实现高质量图像和视频重光源及去光源的新型...
OpenAI遭遇发展瓶颈：GPT-5项目受挫，Orion模型降级为GPT-4.5，但估值仍达3000亿美元
OpenAI的下一代大语言模型开发正面临前所未有的挑战。据报道，备受瞩目的GPT-5项目因核心团队人才流失和...
库克罕见全员讲话:苹果将 ALL-IN AI，效仿 iPhone 模式后来居上
在公司最新的季度财报电话会议结束后，苹果首席执行官蒂姆·库克向员工发表了一场罕见的全员讲话，旨在统...
