下载APP | 繁體版 | 发布广告 |常用工具
倍可亲 首页 查看评论
已有(9)人发表了评论
[ 正序查看留言 ]       [ 查看原文 ]
回复 举报 [ 10楼 游客 (60.240.x.x) ] 发表于 2025-10-4 08:51
AI或计算机数学证明和计算,陶哲轩也在做,微软的lean也类似。AI取代超级数学家进行研究,就是逻辑取代直觉,可能吗?两者完全相反,数学家就两种风格争论两个世纪了。重大问题靠全新非逻辑直觉方案,也就是计算重构
1 回复 举报 [ 9楼 游客 (104.28.x.x) ] 发表于 2025-10-4 08:23
有啥用?
回复 举报 [ 8楼 游客 (75.186.x.x) ] 发表于 2025-10-4 08:18
有印度人参与,已经看到了结果
3 回复 举报 [ 7楼 游客 (107.4.x.x) ] 发表于 2025-10-4 07:52
祝她们成功。
1 回复 举报 [ 6楼 游客 (173.63.x.x) ] 发表于 2025-10-4 07:42
真能吹!割韭菜的高手啊!
回复 举报 [ 5楼 游客 (172.59.x.x) ] 发表于 2025-10-4 07:26
印度阿3吹牛家和中国脑残女的故事……
回复 举报 [ 4楼 游客 (74.96.x.x) ] 发表于 2025-10-4 07:01
电脑博士没意思,研究不出
2 回复 举报 [ 3楼 游客 (75.140.x.x) ] 发表于 2025-10-4 06:21
泥马,阿三CTO
5 回复 举报 [ 2楼 游客 (76.146.x.x) ] 发表于 2025-10-4 05:56
选阿三做CTO绝对是失测

关于本站 | 隐私政策 | 免责条款 | 版权声明 | 联络我们 | 刊登广告 | 转手机版 | APP下载

Copyright © 2001-2025 海外华人中文门户:倍可亲 (http://www.backchina.com) All Rights Reserved.

程序系统基于 Discuz! X3.1 商业版 优化 Discuz! © 2001-2013 Comsenz Inc. 更新:GMT+8, 2025-10-6 19:12

倍可亲服务器位于美国圣何塞、西雅图和达拉斯顶级数据中心,为更好服务全球网友特统一使用京港台时间

返回顶部