作者查詢 / LPH66
作者 LPH66 的總覽 (PTT發文,留言,暱稱)
發文數量: 2251
收到的『推』: 7146 (50.3%)
收到的『→』: 7048 (49.6%)
收到的『噓』: 8 (0.1%)
留言數量: 31385
送出的『推』: 12823 (40.9%)
送出的『→』: 18501 (58.9%)
送出的『噓』: 61 (0.2%)
使用過的暱稱: 32
LPH66 在 PTT 最新的發文, 共 2251 篇
LPH66 在 PTT 最新的留言, 共 31385 則
31F推: 這跟那個用階梯「逼近」斜線的問題是一樣的狀況12/20 12:48
13F→: 不會, 會是反過來, 大版號會是一樣的12/10 03:47
14F→: 基岩版的小版號推十號是基岩版的更新規律及規則不同的關係12/10 03:48
2F→: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
10F→: 為什麼要卡這麼久→我猜大概是這樣的頻繁小更新的內容12/06 11:06
11F→: 不夠「大」到像 1.21 棘巧試煉這種規模吧?12/06 11:06
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
LPH66 在 PTT 的暱稱紀錄, 共 32 個
暱稱:信じる力 奇跡起こすこと
文章數量:36
暱稱:IS YOU
文章數量:44
暱稱:0x1.b860bde023111p-111
文章數量:24
暱稱:J∪$т М㎝iκä
文章數量:61
暱稱:かつて交わした約束
文章數量:75
暱稱:アルターエゴ
文章數量:33