复旦迎来ImageNet核心成员苏昊教授！曾师从李飞飞，身具全球顶尖引用率，新任通用物理AI学院院长
复旦大学迎来了一位重要的学者——苏昊，这位曾在美国长期工作的教授回到中国任教。 克雷西 2026-04-17 10:16:36 量子位
AI1 阅读
搜索: "ImageNet"
共找到 2 篇相关文章
一周内独立完成！AI代理公布首例菲尔兹奖成果形式化验证代码库，达20万行
在短短五天内，AI成功完成了原本需要六个月才能完成的数学定理的形式化证明工作。 这一成就一经公布便迅速在社交媒体上引发了广泛讨论，甚至有专家将其形容为“形式化领域的ImageNet时刻”。 该成果由Math公司研发的人工智能Gauss实现。具体而言，它完成了对Maryna Viazovska于2022年因解决8维和24维度球体堆叠问题而获得的菲尔兹奖数学成就的形式化验证工作。 这项研究是本世
AI7 阅读