AI仅用11天完成费马大定理形式化证明，数学证明进入机器验证时代？
科技日报
|
2026-09-10 01:45:00
外国专家看中国 | 西湖大学讲席教授穆罕默德·萨万：我眼中的中国关键词是公平、笃定、自信
科技日报
|
2026-09-10 01:35:00
反对意见一边倒，FCC无人机禁令不得人心
科技日报
|
2026-09-09 01:45:00
AI与人 | AI坐上文本裁判席，真的靠谱吗
科技日报
|
2026-09-08 01:45:00
AI是否正让文化和认知走向同质化
|
2026-09-07 01:01:00
俄罗斯纳米材料科学家伊戈尔·亚历山德罗夫：科研的真正国际化在于造福大众、凝聚人心
|
2026-09-04 02:02:00
罗曼望远镜踏上宇宙探秘征程
|
2026-09-04 01:01:00
美找茬加州对华气候合作毫无道理
|
2026-09-02 01:01:00
1.8万张可疑图片引发商业抗体可靠性争议
|
2026-08-31 01:01:00
AI智能体入侵“抱抱脸”事件调查报告提示：人工智能发展应敲响安防警钟
科技日报
|
2026-08-29 01:01:00
超级厄尔尼诺来袭，亚马孙雨林逼近“临界点”？
|
2026-08-28 02:02:00
“一带一路”国际科学教育协调委员会副主席曼祖尔：中国特色的技术共享为发展中国家赋能
|
2026-08-27 02:02:00
“健康寿命”竞赛青睐哪些长寿方案
|
2026-08-27 01:01:00
为获“干净数据”，AI公司毁书引争议
|
2026-08-26 01:01:00
全球最大纯电池驱动飞机完成试飞，电动航空离我们还有多远
科技日报
|
2026-08-22 01:45:00
正听丨不应给科研合作贴上“安全标签”
科技日报
|
2026-08-21 18:11:04
