广州院士专家校园行 | 小记者对话科学导师：“机器证明”得出的结论，如果人类无法理解推导过程，我们还能称之为“证明”吗？(01:43)
“机器证明”得出的结论，如果人类无法理解推导过程，我们还能称之为“证明”吗？
澎湃新闻客户端 1小时前
相关推荐
2026广州读书月启动 近千场活动“文润羊城”
2026-04-02 13:50
粤超4月15日开票！茂名市民8.8元即可主场观赛
2026-04-02 13:45
10万平方米！广州一智造创新中心项目正式启动！
2026-04-02 13:45