破解

突破125年世纪难题！北大校友联手科大少年班才子破解希尔伯特第六问题

1900年，数学大师希尔伯特提出23个数学难题，其中第六个问题——“物理学的公理化”，被称为数学物理的终极挑战。 125年后，北大校友邓煜、中科大少年班马骁与陶哲轩高徒扎赫尔・哈尼终于在这一问题上取得重大突破。在20世纪，关于第六问题，希尔伯特追问：能否像欧几里得几何一样，为物理学构建严格的数学基础？

6/16/2025 8:49:00 AM

AI再破2000年前「上古卷轴」！古希腊著作原文首次重见天日

AI再建一功！火山灰掩埋的古代智慧，正在被AI一点点复活。 2025年5月6日，维苏威挑战赛（Vesuvius Challenge）迎来历史性突破——研究人员首次非侵入性地读取了仍然卷着的编号为PHerc.

5/7/2025 9:14:00 AM

资讯热榜

最具争议性研究：大模型中间层输出可 100% 反推原始输入 DeepSeek-OCR：用视觉模态给长文本“瘦身”，大模型处理效率再突破 OpenAI推出两款全新的开源安全推理模型奥特曼回应一切：重组后仍需微软支持，不相信OpenAI的欢迎做空 Wan2.2-Animate又火了！5分钟让抠脚大汉秒变高冷女神 AI友好型组件库才是未来？4个特点帮你快速了解！如何理解：高效的异构算力调度是业界目前面临的一大难题？ Cursor发布首个编程大模型！代码生成250tokens/秒，强化学习+MoE架构

标签云

AI 人工智能 OpenAI AIGC 模型 ChatGPT DeepSeek 谷歌 AI绘画大模型机器人数据 Midjourney 开源 Meta 微软 AI新词智能用户 GPT 学习技术智能体马斯克 Gemini 图像 Anthropic 英伟达 AI创作训练 LLM 论文代码算法 Agent AI for Science 芯片苹果腾讯 Claude Stable Diffusion 蛋白质开发者生成式神经网络 xAI 机器学习 3D RAG 人形机器人研究 AI视频大语言模型生成具身智能 Sora 工具 GPU 百度华为计算字节跳动 AI设计 AGI 大型语言模型搜索视频生成场景深度学习架构生成式AI DeepMind 编程视觉 Transformer 预测亚马逊 AI模型特斯拉 MCP