AI数学证明与科研范式变革
OpenAI公开挂谷猜想等高维数学证明手稿，AI在纯数学领域取得突破性进展。陶哲轩等学者指出“数学2.0”时代来临，证明稀缺时代或终结。这标志着AI正从辅助工具跃升为能够独立攻克顶级数学难题的“研究者”，将深刻改变数学乃至基础科学的科研范式与人类角色定位。
工具分类
查看更多 →热门工具
最新话题
查看更多 →具身智能与Agent协同进化
具身智能与AI Agent能力快速跃升。H-JEPA开源分层世界模型为视觉规划提供新范式；人形机器人实现全身协同自主叠衣等复杂长程家务；多Agent协作基准测试暴露协作短板；OpenAI推出移动端Agent dots；清华提出高阶动作监督提升机器人控制稳定性。从单体智能到群体协作、 …
基础大模型技术迭代竞争
谷歌秘密测试下一代Gemini 4 Carbon，代码生成能力逼近Opus 5.5，并采用递归自我提升技术。Google同时发布Nano Banana 2.1生图模型，支持4K直出。OpenAI仍在迭代GPT-4o。头部厂商加速模型版本升级，在编程、多模态生成等关键能力上展开激烈竞争， …
AI商业化与产业资本动态
AI商业化进程与资本热度呈现分化。TypeSafe AI旗下决策模型Jev在24天内估值飙升至75亿美元，彰显垂直场景AI的巨大潜力；OpenAI年化营收被曝较预期缩水200亿美元，引发市场对增长可持续性的担忧，英伟达股价应声下跌；硅谷AI竞争格局进一步向算力资源高度集中， …
AI学术工具与认知边界探讨
AI正渗透学术生产与认知哲学层面。新型论文生成工具可直接从全文提取信息撰写初稿，提升科研效率；DeepSeek Bot等民间工具降低使用门槛；而大语言模型符号学讨论则深入AI是否真正“理解”语言的本质局限，从哲学视角审视统计预测与语义理解的鸿沟，触及AI能力边界与学术伦理的核心议题。