看板 [ Math ]
討論串[其他] 確定性的失落？創造性的無限？(上)
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [其他] 確定性的失落？創造性的無限？(上)
推噓0(0推 0噓 18→)留言18則，0人參與, 3周前最新作者Bugquan (靠近邊緣)時間1月前 (2025/11/07 09:47), 編輯資訊
0
0
3
內容預覽:
https://xenaproject.wordpress.com/2025/10/22/formal-or-not-formal-that-is-the-question-in-ai-for-theorem-proving/. 根據 Kevin Buzzard（倫敦帝國學院教授，https://r
(還有863個字)
#2
Re: [其他] 確定性的失落？創造性的無限？(上)
推噓7(7推 0噓 25→)留言32則，0人參與, 3周前最新作者Bugquan (靠近邊緣)時間1月前 (2025/11/06 11:24), 編輯資訊
0
0
0
內容預覽:
現在當然有的數學家引入AI. 像是Terence Tao自己就玩的不亦樂乎，還有Timothy Gowers也是. 偶爾會分享自己用AI 搞定了什麼. 但是最大的問題是，你看這倆菲爾茲獎得主，AI的證明有沒有了唬爛或是跳步之類的. 他們兩個稍微排查很快就能得出結果了. 但是對於其他人門檻不夠的，最多
#1
[其他] 確定性的失落？創造性的無限？(上)
推噓1(1推 0噓 3→)留言4則，0人參與, 3周前最新作者ginstein (邁向學術之路)時間1月前 (2025/11/03 19:36), 1月前編輯資訊
0
0
5
內容預覽:
本文為前沿數學探索，是數普文非學術文、非公認理論，. 盼能促進 AI 數學家早日到來。. [無窮數列的盡頭是什麼？]一文探索無窮數列的全部有限項外，. 盡頭之處有無存在它物？若有為何？本文稱無窮數列盡頭之量為極量，. 以無窮數列為基礎，動態數字為核心概念，. 採用自然延續原理提出極量公設，建構極量數
(還有5117個字)
首頁
上一頁
1
下一頁
尾頁