作者查詢 / 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 篇
[情報] 26.1-snapshot-1
[ Minecraft ]0 留言, 推噓總分: 0
作者: LPH66 - 發表於 2025/12/20 16:24(1周前)
[情報] 2026 起的版本命名方式
[ Minecraft ]10 留言, 推噓總分: +5
作者: LPH66 - 發表於 2025/12/04 23:33(3周前)
[情報] 1.21.11 pre-1/2
[ Minecraft ]5 留言, 推噓總分: +2
作者: LPH66 - 發表於 2025/11/23 19:57(1月前)
[情報] 25w46a
[ Minecraft ]5 留言, 推噓總分: +3
作者: LPH66 - 發表於 2025/11/12 22:36(1月前)
[情報] 25w45a
[ Minecraft ]4 留言, 推噓總分: +1
作者: LPH66 - 發表於 2025/11/05 10:59(1月前)
LPH66 在 PTT 最新的留言, 共 31385 則
Re: 國小二年級競賽題
[ Math ]33 留言, 推噓總分: +14
作者: oyasmy - 發表於 2025/12/17 23:33(1周前)
31FLPH66: 這跟那個用階梯「逼近」斜線的問題是一樣的狀況12/20 12:48
[情報] 2026 起的版本命名方式
[ Minecraft ]10 留言, 推噓總分: +5
作者: LPH66 - 發表於 2025/12/04 23:33(3周前)
13FLPH66: 不會, 會是反過來, 大版號會是一樣的12/10 03:47
14FLPH66: 基岩版的小版號推十號是基岩版的更新規律及規則不同的關係12/10 03:48
2FLPH66: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
10FLPH66: 為什麼要卡這麼久→我猜大概是這樣的頻繁小更新的內容12/06 11:06
11FLPH66: 不夠「大」到像 1.21 棘巧試煉這種規模吧?12/06 11:06
[請益] godot做戰棋防SL刷機率作法?
[ GameDesign ]21 留言, 推噓總分: +6
作者: a159371153 - 發表於 2025/11/28 01:33(1月前)
19FLPH66: 你把他回你的東西全部混在一起了11/29 12:08
20FLPH66: 他不只回你種子設計還回你怎麼做判定11/29 12:08
21FLPH66: 然後你以為全部都是在講種子的事11/29 12:08
[情報] 1.21.11 pre-1/2
[ Minecraft ]5 留言, 推噓總分: +2
作者: LPH66 - 發表於 2025/11/23 19:57(1月前)
2FLPH66: 小道消息是之後可能就是第三版號繼續加了的樣子?11/23 22:46
Re: [其他] 確定性的失落?創造性的無限?(上)
[ Math ]32 留言, 推噓總分: +7
作者: Bugquan - 發表於 2025/11/06 11:24(1月前)
6FLPH66: 話說回來, 我看到有一篇論文是他們用 ChatGPT 產生11/06 20:35
7FLPH66: 了 Lean 程式碼並且成功編過了, 這種應該算是生成式11/06 20:36
8FLPH66: AI 的一種意外應用方式吧 (Lean 程式碼能編過表示11/06 20:36
9FLPH66: 邏輯推理是通的)11/06 20:36
10FLPH66: 這是那篇論文, 做的是 Erdos 曾經懸賞一千元的猜想11/06 20:38
11FLPH66: https://arxiv.org/abs/2510.1980411/06 20:39
18FLPH66: 那是其他程式語言, 但這篇論文用的是專門用於證明的11/07 08:50
19FLPH66: Lean, 就我所知 Lean 程式編過就表示邏輯推論是通的11/07 08:50
20FLPH66: 這篇論文的作者有說他們在這之前不會 Lean11/07 08:52
21FLPH66: 但經 ChatGPT 的輔助他們能夠將整篇論文的多數結果11/07 08:54
22FLPH66: (特別是主要定理) 全部都用 Lean 驗證過11/07 08:54
29FLPH66: 原論文也有討論到這個問題, 但恰巧他們這個問題11/12 22:58
30FLPH66: 比較著名 (Erdos 懸賞過的問題) 有其他人已經做好了11/12 22:59
31FLPH66: 這種「翻譯」11/12 22:59
LPH66 在 PTT 的暱稱紀錄, 共 32 個
暱稱:信じる力 奇跡起こすこと
文章數量:36
暱稱:IS YOU
文章數量:44
暱稱:0x1.b860bde023111p-111
文章數量:24
暱稱:J∪$т М㎝iκä
文章數量:61
暱稱:かつて交わした約束
文章數量:75
暱稱:アルターエゴ
文章數量:33