清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
【新智元导读】 就在刚刚，清华校友用AI证明了162个未被人类证明的数学定理，解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的形式化难题！ 诺贝尔物理学奖和化学奖被AI「包圆」后，人们...【查看原文】
26年前的古董Win98电脑成功运行大语言模型：搭载奔腾 II处理器
IT之家 2024-12-30
高层不当处理举报遭解雇，新加坡邮政任命国际业务部门新高管
36氪 2024-12-30
外贸新动能加快蓄力，年末购物季，跨境电商发货忙
36氪 2024-12-30
调查显示 2024 年美国人日均查看手机 205 次，比去年增加 42.3%
IT之家 2024-12-30
Windows 黑暗模式十年仍未完善，微软被指“不作为”
IT之家 2024-12-30
韩国济州航空又一架波音 737-800 发生起落架故障，现已成功降落
IT之家 2024-12-30
中信建投：随着AI算力需求提升，建议重点关注IDC产业链
36氪 2024-12-30
挑战高通、紫光展锐，消息称恒玄科技正研发 AI 眼镜芯片
IT之家 2024-12-30
堤丰系统具备什么样的作战能力？
CCTV兵器科技频道 2024-12-30
钛媒体科股早知道：为AI业务发展提前筹划补能，科技巨头竞相押注该领域
钛媒体APP 2024-12-30