作者查詢 / LPH66
作者 LPH66 的總覽 (PTT發文,留言,暱稱)
發文數量: 2250
收到的『推』: 7142 (50.3%)
收到的『→』: 7043 (49.6%)
收到的『噓』: 8 (0.1%)
留言數量: 31380
送出的『推』: 12822 (40.9%)
送出的『→』: 18497 (58.9%)
送出的『噓』: 61 (0.2%)
使用過的暱稱: 32
LPH66 在 PTT 最新的發文, 共 2250 篇
LPH66 在 PTT 最新的留言, 共 31380 則
2F→: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
19F推: 你把他回你的東西全部混在一起了11/29 12:08
20F→: 他不只回你種子設計還回你怎麼做判定11/29 12:08
21F→: 然後你以為全部都是在講種子的事11/29 12:08
2F→: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
6F推: 話說回來, 我看到有一篇論文是他們用 ChatGPT 產生11/06 20:35
7F→: 了 Lean 程式碼並且成功編過了, 這種應該算是生成式11/06 20:36
8F→: AI 的一種意外應用方式吧 (Lean 程式碼能編過表示11/06 20:36
9F→: 邏輯推理是通的)11/06 20:36
10F→: 這是那篇論文, 做的是 Erdos 曾經懸賞一千元的猜想11/06 20:38
11F→: https://arxiv.org/abs/2510.1980411/06 20:39
18F推: 那是其他程式語言, 但這篇論文用的是專門用於證明的11/07 08:50
19F→: Lean, 就我所知 Lean 程式編過就表示邏輯推論是通的11/07 08:50
20F→: 這篇論文的作者有說他們在這之前不會 Lean11/07 08:52
21F→: 但經 ChatGPT 的輔助他們能夠將整篇論文的多數結果11/07 08:54
22F→: (特別是主要定理) 全部都用 Lean 驗證過11/07 08:54
29F推: 原論文也有討論到這個問題, 但恰巧他們這個問題11/12 22:58
30F→: 比較著名 (Erdos 懸賞過的問題) 有其他人已經做好了11/12 22:59
31F→: 這種「翻譯」11/12 22:59
1F→: 這個算閒聊所以我推在這裡: 原來肉串的英文不只拼作 kebab11/05 11:00
2F→: 查了一下發現 kabob 以及其他類似拼法都可以的樣子11/05 11:01
3F→: 所以新進度的名字不算拼錯, 只是另一種拼法而已11/05 11:02
LPH66 在 PTT 的暱稱紀錄, 共 32 個
暱稱：信じる力 奇跡起こすこと
文章數量：36
暱稱：IS YOU
文章數量：44
暱稱：0x1.b860bde023111p-111
文章數量：24
暱稱：J∪$т М㎝iκä
文章數量：61
暱稱：かつて交わした約束
文章數量：75
暱稱：アルターエゴ
文章數量：33