丘成桐参与的最新论文借助GPT与Claude辅助,证明七维空间28种球面(含27种怪球)均可赋予截面曲率严格为正的度量,解决了1982年他列入问题清单、悬置数十年的经典猜想。论文用双圆盘模型与黎曼淹没等工具构造证明,并附SageMath验证代码,标志其对AI态度从否定转向有限接纳。
今年清华特奖候选人中,AI和机器人研究成为主流,尤其是具身智能。李忆唐、陈博远和徐汝一等本科生在各自领域取得显著成果,展示了清华在人工智能和跨学科人才培养的新方向。丘成桐院士的参与为答辩增添了分量。
丘成桐教授将在2025年WAIC举办“数学之问”论坛,探讨AI与数学的深度融合,聚焦AI的数学基础,解决AI模型瓶颈,促进数学研究新范式。多位国际数学家将参与,展示人机对抗解题挑战,推动AI与数学协同发展。
Write-A-Video是一款新型AI工具,用户输入文本后,AI能够自动剪辑视频。该工具利用关键词匹配和视觉语义嵌入技术,从素材库中选择合适镜头,快速生成高质量视频。相比传统剪辑,Write-A-Video显著提高了效率,使新手也能在短时间内完成专业水平的剪辑。
完成下面两步后,将自动完成登录并继续当前操作。