首页 > AI前沿 > The Four Colour Theorem: The first time machines mogged mathematicians

The Four Colour Theorem: The first time machines mogged mathematicians

Hacker News 2026-10-14 03:17 3 阅读 查看原文
数学 人工智能 机器学习

https://celebratio.org/Appel_KI/article/796/#sender

Comments URL: https://news.ycombinator.com/item?id=50077096

Points: 4

# Comments: 1

相关推荐