作者查詢 / mantour

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

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

限定看板：Math

看板排序：

全部Physics1495Math1195Gossiping1084HOT_Game191Python186medstudent132LAW117BabyMother112C_and_CPP105Army-Sir77nCoV201966NTUH_INTERN65MCBadminton50NTUmed9345Elephants44medache42basketball41PttLifeLaw41Health36Baseball34BaseballXXXX30GO30NtuDormM230NTU29Browsers27Programming24Fortran22Suckcomic21PCSH91_30520Chemistry19NTUAviation19Statistics18Inference16Stock16Windows16Linux15Medicine15NTUmedvolybl13FORMULA112Rockman12basketballTW11image11Kindaichi_Q11Med93_Conote11StarCraft11TY_Research11Free_box10Aviation8IME8Prob_Solve8MATLAB7TSG-Hawks7Lions6AfterPhD4DeathNote4Editor4FJU_physics4java4Lifeismoney4Old-Games4puzzle4CCU_SS973Employee3LaTeX3marriage3NTUSC3Olympics_ISG3Perl3Soft_Job3Web_Design3CMU_M502creditcard2Guardians2Hualien2Hunter2Little-Games2NTUmed942NTUT_IPET4952PC_Shopping2SWORD2Teacher2Tech_Job2Anti-ramp1AntiVirus1cat1CMU_CM421CMU_M481CMU_M491CMU_M511CodeJob1CyberFormula1Detective1Galaxy1graduate1Hong_Kong1KS91-3051L_TalkandCha1NDMC-F81NTUcourse1NtuDormM81NTUmed921NTUmed961NTUot941NTUSA1NTUSO1NTUST-HC-971NTUST_Talk1phys931Rubiks1tennisprince1TFG03_Math1<< 收起看板(111)

首頁

尾頁

[中學] 國中幾何一題

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

作者: xiaomi3 - 發表於 2026/01/26 22:27(1月前)

8^F→mantour: 這題的bug是兩人如果沒有商量好出發的時間和走的速01/27 17:33

9^F→mantour: 度，兩人幾乎必然不會相遇01/27 17:33

Re: [中學] 不要太依賴chatgpt

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

作者: Honor1984 - 發表於 2026/01/11 15:29(1月前)

22^F→mantour: 這題用P或C的差別應該沒有大到顯然用哪個才是對的01/11 18:58

23^F→mantour: ，每個人切入角度不同，算出來答案對，思路也解釋01/11 18:58

24^F→mantour: 到別人看得懂就好了。01/11 18:58

25^F→mantour: 不過如果是考試有部分給分，不小心算錯一步結果最01/11 19:00

26^F→mantour: 後答案錯的時候，跟參考解答用相同的思路，有可能01/11 19:00

27^F→mantour: 拿到比較多分XD01/11 19:00

28^F→mantour: 研究出來用P還是C最好的時間，可能隨便先想到哪一01/11 19:02

29^F→mantour: 個就開始算都算出來了01/11 19:02

[中學] 請問各位前輩一題國三圓內接四邊形

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

作者: ssuin - 發表於 2025/11/19 23:10(3月前)

11^F→mantour: 跟e大類似的想法, 三個三角形重新排列後用畢氏定理11/22 19:19

12^F→mantour: https://i.ibb.co/rfdSZ7JN/image.png11/22 19:19

13^F→mantour: 圖上算式有誤左邊應該是 30^2-(R-7)^211/22 19:23

14^F→mantour: https://i.ibb.co/TDHG33X7/image.png11/22 19:26

[其他] 我也想問遞迴...

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

作者: easterday - 發表於 2025/11/15 23:33(3月前)

4^F→mantour: -1/(1-x)^2 = - Σ(n+1)x^n 才對11/16 15:56

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

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

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

1^F→mantour: AI不斷快速嘗試各種思路，然後可以自己初步排除掉11/06 14:27

2^F→mantour: 一些明顯錯誤的，剩下的candidate再給數學家去檢查11/06 14:27

3^F→mantour: 。問題是AI提供的解答中黃金：垃圾的比率是否足夠11/06 14:27

4^F→mantour: 高，如果垃圾比率太高也是形同浪費數學家檢查的時11/06 14:27

5^F→mantour: 間。11/06 14:27

12^F推mantour: 謝謝L大分享的論文11/06 22:13

25^F→mantour: LLM很擅長翻譯，把論文的定理轉化成Lean再去檢查推11/11 07:14

26^F→mantour: 論是否通過應該辦得到，不過如果使用的數學家本身11/11 07:14

27^F→mantour: 也不是很熟悉Lean，有沒有可能在LLM輔助下寫出的Le11/11 07:14

28^F→mantour: an跟本來要證的定理其實是不等價的11/11 07:14

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

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

作者: Bugquan - 發表於 2025/11/07 09:47(3月前)

5^F→mantour: 意思是在把我要證明的定理，翻譯成Lean語言，跟Lea11/11 07:06

6^F→mantour: n語言中發現的定理翻譯成人能懂的命題，這兩個轉換11/11 07:06

7^F→mantour: 的過程可能還有困難和錯誤。結果是機器實際證明出11/11 07:06

8^F→mantour: 的東西，跟我以為機器證明出的東西，可能根本是不11/11 07:06

9^F→mantour: 同的。是這樣嗎？11/11 07:06

[中學] 幾何面積求解

[ Math ]10 留言, 推噓總分: +2

作者: ccccc7784 - 發表於 2025/10/18 12:49(4月前)

6^F→mantour: 三個有顏色的三角形，左邊的邊長分別是正三角形邊10/19 00:27

7^F→mantour: 長的1,2/3,1/310/19 00:27

8^F→mantour: 右邊邊長分別是正三角形邊長的3/4,1/2,1/410/19 00:27

9^F→mantour: 故三個三角形面積分別是正三角形的3/4,1/3,1/1210/19 00:27

10^F→mantour: 總面積=27+12+3=4210/19 00:27

[中學] 三角的角度判定

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

作者: flyIssac - 發表於 2025/10/10 11:44(4月前)

3^F→mantour: cosA跟cosB都是負的話，A+B>pi不合，所以cosA跟cos10/10 13:36

4^F→mantour: B都>=010/10 13:36

5^F→mantour: 0 <= cosA=cosB/根號2 <= 1/根號210/10 13:37

6^F→mantour: 因為C可以根據A和B調整所以唯一的constraint 只有A10/10 13:38

7^F→mantour: +B<pi10/10 13:38

8^F→mantour: 所以pi/4<=A<=pi/210/10 13:39

請教大大一題數學

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

作者: rfvbgtsport - 發表於 2025/10/01 15:41(5月前)

3^F→mantour: 每對中比較小的那個數字只能是1~710/01 22:13

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

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

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

24^F→mantour: “我家人有爸爸、媽媽、我和弟弟”，應該不需要自09/04 11:59

25^F→mantour: 然數的概念。“我家有4個人”才需要自然數的概念。09/04 11:59

26^F→mantour: “爸爸跟媽媽是不同人”也不需要數字的概念09/04 12:02

首頁

尾頁