从人工智能AlphaGo到平面几何定理证明 - Programming版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - 从人工智能AlphaGo到平面几何定理证明

相关主题
● 卫东大神来说说阿尔法狗横扫棋坛这事吧	● 求助：多边形与锥体的相交问题 (转载)
● 推荐个免费的人工智能软件 Pachi	● 有无这种聚类的算法？ (转载)
● Facebook开源了围棋人工智能 DarkForest	● 那个产品结构会重复组织结构的定理叫什么来着。。。
● 人工智能下围棋超过人类, 是一个虚假结论，纯属误导！	● 求教一个多维空间投影的问题
● DeepMind: AlphaGo 携手中国顶尖棋手：共创棋妙未来	● 问一道面试题, 关于算法 (转载)
● 卫平：发狗背离了围棋的精神， (转载)	● 数学不好编程不行张口闭口AI咋搞
● 请教一个面试问题（software eng）	● 李世石：请人类支持我争取不让电脑赢到2盘
● [合集] 一个问题，谢谢指教 (转载)	● Alphago赢了。

相关话题的讨论汇总
话题: 平面几何话题: 证明话题: 定理

进入Programming版参与讨论

1

(共1页)

b***i 发帖数: 3043	1 我知道定理可以暴力证明。但是，是不是可以学习证明啊？不过，我现在想思考这个方向的基础问题，如何描述平面几何的公理和命题啊？完全没有头绪
x***4 发帖数: 1815	2 平面几何证明上世纪就做了。【在 b***i 的大作中提到】 : 我知道定理可以暴力证明。但是，是不是可以学习证明啊？ : 不过，我现在想思考这个方向的基础问题，如何描述平面几何的公理和命题啊？完全没 : 有头绪
b***i 发帖数: 3043	3 我知道定理可以暴力证明。但是，是不是可以学习证明啊？不过，我现在想思考这个方向的基础问题，如何描述平面几何的公理和命题啊？完全没有头绪
x***4 发帖数: 1815	4 平面几何证明上世纪就做了。【在 b***i 的大作中提到】 : 我知道定理可以暴力证明。但是，是不是可以学习证明啊？ : 不过，我现在想思考这个方向的基础问题，如何描述平面几何的公理和命题啊？完全没 : 有头绪
J*****n 发帖数: 4859	5 吴文俊做过这方面的研究。但是这个没啥前途。

1

(共1页)

进入Programming版参与讨论

相关主题
● Alphago赢了。	● DeepMind: AlphaGo 携手中国顶尖棋手：共创棋妙未来
● alphaGo的胜利说明AI和码工一定崛起 (转载)	● 卫平：发狗背离了围棋的精神， (转载)
● wdong帮忙几个alphaGo的问题	● 请教一个面试问题（software eng）
● 从deepblue到alphago	● [合集] 一个问题，谢谢指教 (转载)
● 卫东大神来说说阿尔法狗横扫棋坛这事吧	● 求助：多边形与锥体的相交问题 (转载)
● 推荐个免费的人工智能软件 Pachi	● 有无这种聚类的算法？ (转载)
● Facebook开源了围棋人工智能 DarkForest	● 那个产品结构会重复组织结构的定理叫什么来着。。。
● 人工智能下围棋超过人类, 是一个虚假结论，纯属误导！	● 求教一个多维空间投影的问题

相关话题的讨论汇总
话题: 平面几何话题: 证明话题: 定理

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)