作者查詢 / LPH66

總覽項目：發文 | 留言 | 暱稱

作者 LPH66 在 PTT [ Math ] 看板的留言(推文), 共8895則

限定看板：Math

看板排序：

全部Math8895C_and_CPP6694Minecraft2013puzzle1798Little-Games1256PHP992Web_Design736killercorp717java657SYSOP599Programming587Mathematica451Windows394IME389Prob_Solve389Ajax321RegExp298b94902xxx229PttBug229HOT_Game210Visual_Basic207Inference204Hunter198Steam168NTU-K9167KS94-317160EzHotKey138BoardGame131Conan122HarryPotter120CSSE116Flash104Database96GameDesign94AndroidDev91Android90Kindaichi_Q88Wikipedia74LaTeX71BBSmovie59SMSlife57DeathNote54riddle52Weyslii49wretch42IMO_Taiwan38Suckcomic38b96902HW37NTU37b94902HW35Doraemon30NTU-MAGIC26NTUDormM723NTUcourse21ONE_PIECE19b95902xxx18KSHS_Talk18b95902HW15NTNU_Lin_9615PLT15C_Chat14CSCouncil11PttCurrent11transgender9Translate-CS9VR9NTUDormG18Education7HSNU_10857KS93-3207NCKU-BEH957NDMC-D627PttNewhand7b99902HW6hikarugo6NtuDormM16youtuber6b96902xxx5b97902HW5CompilerDev5GO5L_LifeInfo5MJ5NSwitch5SummerCourse5tutor5Hsinchu4Liu4PushDoll4AppsForBBS3b98902HW3CSIE_WSLAB3Gossiping3Kao-KSHS3KS93-3163NARUTO3NTUST-DT93-23RSSH94_3013b97902xxx2ck50th3232ck55th3252ck58th3122CS_Badminton2CSIE_Mahjong2NANLIN3012NDHU-His962NTUDormFJr2NTUGIEE_EDA2PCman2PCSH91_3052PttSuggest2PttWeb2SFFamily2WinMine2Abin1AGO1Aquarius1Army-Sir1ASHS-93-li1AskaYang1B92310XXX1b99902xxx1blind_pc1Browsers1CCSH_92_3161CGU-MED-991CGU_EE981ck55th1201ck55th3241ck56th3181CK84Courage1CLHS-53-131CM38th071consumer1CPU_AM7011CPU_FC7311CSMU-MED941CTSH913021CTSH923051DaZhi6thH3021Eclipse1FJU-AM-901FJU-BA92C1FJU_GF1FSHS-94-3181Google1Grad-ProbAsk1Greenfield1HKday1Hoobastank1HORTUS-911HSNU_10731HSNU_9291HSNU_9381HSNU_9581HSNU_9851HSNU_9891HSNU_9901Hu_Yen_20041HY-40-Xin1ILSH-943131INSECT-901Itchie1Jay1JH30th3061Jinmen1joke1kekkai1KhalilFong1KS90-3091KS94-3151KS94-3211KS98-3021lab6211LD_IM93-21MATLAB1MDscience6th1Moto_GP1MuscleBeach1NCCU00_Stat1NCCU02_PSYCH1NCCU03_ETHNO1NCCU03_PF1NCCU04_MAT1NCCU04_Stat1NCCU98_RMI1NCCU99_Stat1NCHU-AGR001NCHU-AGR071NCKU-PH981NCUFingrad031Network1NIUECE911NTNU_bridge1NTOU-YP1NTPU-JLAW941NTPU_CK_CM1NTU-GIIB20021NTU-GIIB20041NTU95thLIS1NTUBIME-1021NTUCH-941NTUDormM61NTUE-Art961NTUE-CS1031NTUE_Nse961NTUE_Nse981NTUHistory881NTUHorti961NTUKGA1NTUMath911NTUMath941NTUMT-921NTUMystery1NTUNewPlace1NTUST-DT92-11NTUT_EE490A1NUTN_SSSS1Oguri_Shun1Old-Games1onlychild1Peitou29t3161Penny1PERCUSSION1PokeMon1PttHistory1Romances1RSSH93_3071SCU_ACCM971SM02th031SM05th3xx1SOFTSTAR1SSSH-13th3111STDM-87-3051Stephen1streetsinger1TFGCRC1THU-P-Softbo1TigerBlue1TMU9711Translation1TSH97_YK1Ur-hsing1VET_921w-inds1wegoJT3021WuLing46-3051WuLing46-3171YP91-3121YP92-3011YP92-3031YP94-3141<< 收起看板(252)

首頁

尾頁

Re: [其他] 確定性的失落？創造性的無限？(上)

[ Math ]32 留言, 推噓總分: +7

作者: Bugquan - 發表於 2025/11/06 11:24(1月前)

6^F推LPH66: 話說回來, 我看到有一篇論文是他們用 ChatGPT 產生11/06 20:35

7^F→LPH66: 了 Lean 程式碼並且成功編過了, 這種應該算是生成式11/06 20:36

8^F→LPH66: AI 的一種意外應用方式吧 (Lean 程式碼能編過表示11/06 20:36

9^F→LPH66: 邏輯推理是通的)11/06 20:36

10^F→LPH66: 這是那篇論文, 做的是 Erdos 曾經懸賞一千元的猜想11/06 20:38

11^F→LPH66: https://arxiv.org/abs/2510.1980411/06 20:39

18^F推LPH66: 那是其他程式語言, 但這篇論文用的是專門用於證明的11/07 08:50

19^F→LPH66: Lean, 就我所知 Lean 程式編過就表示邏輯推論是通的11/07 08:50

20^F→LPH66: 這篇論文的作者有說他們在這之前不會 Lean11/07 08:52

21^F→LPH66: 但經 ChatGPT 的輔助他們能夠將整篇論文的多數結果11/07 08:54

22^F→LPH66: (特別是主要定理) 全部都用 Lean 驗證過11/07 08:54

29^F推LPH66: 原論文也有討論到這個問題, 但恰巧他們這個問題11/12 22:58

30^F→LPH66: 比較著名 (Erdos 懸賞過的問題) 有其他人已經做好了11/12 22:59

31^F→LPH66: 這種「翻譯」11/12 22:59

[其他] 無窮數列的盡頭是什麼？

[ Math ]45 留言, 推噓總分: +5

作者: ginstein - 發表於 2025/09/21 15:59(2月前)

3^F→LPH66: 你說「或可用非標準分析的超實數理解超自然數」09/22 03:39

4^F→LPH66: 但總覺得你只是用你的話把超實數重講了一次09/22 03:40

5^F→LPH66: 你能提出你的東西和超實數間的異同之處嗎?09/22 03:40

[其他] 每個自然數都是有限大嗎？

[ Math ]42 留言, 推噓總分: +9

作者: ginstein - 發表於 2025/09/02 11:54(3月前)

2^F推LPH66: 你覺得以你的 N^m 記號，「無限大」的「自然數」09/02 19:37

3^F→LPH66: 是長成什麼樣子的數列？09/02 19:37

4^F→LPH66: 為何你會認為那個數列代表「無限大」的「自然數」？09/02 19:38

Re: [中學] 期望值與三角函數相關不等式

[ Math ]12 留言, 推噓總分: +3

作者: freePrester - 發表於 2025/07/06 21:36(5月前)

2^F推LPH66: 樓上, 請不要用 ppt.cc 縮址, 曾經有不好紀錄07/06 22:26

[機統] 若A,B,C獨立，證明A,B',C'獨立

[ Math ]1 留言, 推噓總分: 0

作者: kalalu - 發表於 2025/06/15 16:22(5月前)

1^F→LPH66: 直接代定義06/15 18:51

[微積] 三次函數之切線數

[ Math ]21 留言, 推噓總分: +1

作者: tzhau - 發表於 2025/05/24 15:05(6月前)

11^F推LPH66: y' 變換改變了 b^2-3ac>0 的條件了吧?05/25 05:53

[微積] 對連加或連乘的項數微分求導數

[ Math ]12 留言, 推噓總分: +4

作者: saltlake - 發表於 2025/05/18 16:38(6月前)

9^F推LPH66: 你要的東西叫做差分05/19 20:15

10^F→LPH66: https://zh.wikipedia.org/wiki/%E5%B7%AE%E5%88%8605/19 20:15

[機統] 隨機變數的比較

[ Math ]25 留言, 推噓總分: +5

作者: saltlake - 發表於 2025/02/07 16:49(10月前)

3^F推LPH66: 這類「快速」比較都是靠一個數學性質: 比較的遞移性02/09 15:39

4^F→LPH66: 即是 A>B, B>C 則可推得 A>C02/09 15:40

5^F→LPH66: 但你這是在比較隨機變數, 應該沒有一個明確的"大於"02/09 15:41

6^F→LPH66: 性質具有類似的遞移性存在, 就算有也應該相對麻煩02/09 15:41

7^F→LPH66: 你比完 X Y 也比完 Y Z 之後應該只有部份結果能用在02/09 15:43

8^F→LPH66: X Z 之間的比較上, 你依然得回頭認真比一次 X Z02/09 15:43

9^F→LPH66: 這樣一來你根本沒有省到什麼工, 每一對都得比一次02/09 15:44

[代數] 高一多項式對稱中心

[ Math ]28 留言, 推噓總分: +5

作者: fivechess - 發表於 2024/12/28 18:37(11月前)

21^F推LPH66: 把樓上的三個 t 解解出來了:12/30 01:10

22^F→LPH66: https://i.imgur.com/Av2tkEN.png12/30 01:11

23^F→LPH66: 理論上 a 代這裡能求, p 再代回原式求, 但我懶...12/30 01:13

[中學] 一群人被帶到孤島上玩闖關遊戲

[ Math ]15 留言, 推噓總分: +1

作者: mathsun - 發表於 2024/11/26 22:23(1年前)

4^F推LPH66: 基本上行動只會是兩去一回兩去一回兩去11/27 01:27

5^F→LPH66: (不這樣走行動數會更多)11/27 01:28

6^F→LPH66: 兩個回來的要走兩趟所以讓他們是最快的兩個人最好11/27 01:28

7^F→LPH66: 於是就能排出一樓的答案11/27 01:29

首頁

尾頁