陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。 这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。 对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质...【查看原文】
前瞻CES2025，AI、出海和科技巨头的秀场｜钛媒体「出海参考」
钛媒体APP 2024-12-29
变出无限可能 人手一个的“随申码”还能这么用
IT时报 2024-12-29
用户体验个性化与普适性的设计平衡
人人都是产品经理 2024-12-29
跨年演讲赛道再次拥挤：雷军、张朝阳，还有他们
三言科技 2024-12-29
Fontiermath得分25？数学家依然断言：o3并没超过大学生
腾讯科技 2024-12-29
“AI教父”辛顿：30年内AI致人类灭亡几率达10%~20%
IT之家 2024-12-29