#mathgpt

2025-05-03

🤖 DeepSeek silently dropped a 671B math-proof machine — no hype, just results.

🧠 88.9% MiniF2F
💣 Built for Lean 4
🔥 Outperforms past models, benchmarks Putnam problems
👀 Nobody’s talking about it… yet.

#AI #LLM #DeepSeek #MathGPT #AGI #TheoremProving #OpenSource #DeepSeekProverV2

Prover-V2 is insane. Full breakdown:
deepseekagi.org/deepseek-prove

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱SmartmanApps@dotnet.social
2023-10-02

9/10
So we get the right answer(!) UNLESS there's more than 1 term following the slash, in which case it puts ALL of them in the denominator, so we're back to wrong answers. So you CAN get the right answer, but ONLY if you use a slash, and ONLY if there's only 1 term following it.

So for those who claim "e-calculators do it correctly", how is it that they're all doing it DIFFERENT ways?? There is only 1 correct way to do it, and only #MathGPT does it that way (looking at you #Desmos)...

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱SmartmanApps@dotnet.social
2023-10-02

6/10
Even when I have specifically typed 8/(2)(1+3) it REMOVED MY brackets and added it's own brackets, again leading to the wrong answer. So not only do they not know The Distributive Law, they ALSO don't know FOIL (I'm so embarrassed when I see other programmers declare "you don't need to know Maths to be a programmer!" - well, look where THAT'S got us!).

At this point, I want to give a shout out to #MathGPT - literally the ONLY e-calculator I have ever found that gives the correct answer!

Screenshot of MathGPT giving correct answer to 8/2(2+2)
AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-18

AI財經新知力系列
美國工商業貸款金額趨勢

這是美國工商業貸款金額記錄,是較為即時性的金融指標。

透過此指標可了解商業銀行的工商業貸款收入是否穩定增長。
🔶
3月底美國財經專家和策略分析師在網上針對此工商業貸款發出警訊,認為還有下波的金融危機。
🔶
不過,若以2020年新冠肺炎前的趨勢預估,現今美國工商業貸款或其他會計科目數據皆是過高情況。

如果要回復新冠肺炎的經濟常態,原來用以支撐實體經濟衰退的金流應該也要回復常態,轉為實體經濟面。
🔶
@board

Tags——

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-18

AI財經新知力系列
美國存款金額趨勢
圖中藍點顯示美國存款隨時間持續外流。可能是居民吃老本和企業燒錢
🔶
✅最新趨勢從2022年4月5日當週開始新的下降
✅期間內發生SVB事件
✅4月5日當週數字很可能成為新趨勢的開始週,還須等待未來4週才可能見到新趨勢產生
🔶
@board
Tags——

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-18

AI財經新知力系列 - 美國30年抵押貸款利率趨勢解讀

抵押貸款可分為固定利率和機動利率。這是還款期30年的固定利率值的趨勢情況。

聯準會升息政策下,固定利率同樣也有上升情況,但短期趨勢則可看出有上升也有下降的趨勢期間。目前利率值高且近期發生下降上升又下降的趨勢變化。

由此可見30年抵押貸款固定利率同樣也維持在相對高點和對未來聯準會升息不確定性的影響中。

@board

Tags——

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-17

AI財經新知力系列 - 美國零售業庫存金額趨勢解讀

台灣和美國的貿易在前三名中,了解美國經濟和產業情況可以強化在投資理財上對經濟環境的了解,進一步對你的資產投資配置和長期規劃有所助益。

@board

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

已經更新美國通貨膨脹率趨勢
這是由美國勞工統計局發布的通貨膨脹率(未季節調整)數字進行數字趨勢建模。

日期從2016年1月開始到最新更新月份,並設定每條趨勢至少含8個月(此處設定不同於另一則嘟文 mastodon.social/@aphoebusli/11 )。

持續追蹤美國通貨膨脹率 sites.google.com/view/usinflat

@board

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

Trends of US inflation rates
The latest trend started downward in Jul. 2022 and continued 9 months with the average decrease of 0.429% per month. @economics @academicchatter @aieconfinance @board

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

The latest trend of median CPI has been increasing with the fastest speed since Jan. 2013 and it cannot draw out the turn-around timing signal.

@economics @academicchatter @board

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

The trend of Freight Transportation Services Index has employed downward for 10 months with the average decrease of 0.284 per month.

@board @economics @academicchatter

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

美國利率倒掛趨勢情況

✅ 從2022年11月9日持續迄今,看每個數字都處於利率倒掛狀態。

✅ 從趨勢來看,即使數度利率差有上升趨勢,但並未突破0。

✅ 最新趨勢仍為下降趨勢並且未見反轉跡象。沒有最低點,只有更低點。

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

美國堪薩斯城市金融壓力指數趨勢
從去年11月迄今的5個月呈現上升趨勢

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12
AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-12

美國所有商業銀行現金資產趨勢

✅ 最新趨勢從2月5日當週起,持續7週。
✅ 這是在新冠肺炎疫情期間,美國第二大增長幅度。

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-10

空心點為在家食品的CPI,黃線為沒有發生新冠肺炎疫情情況下預計的CPI水平。如果美國真回到2%的長期通貨膨脹率,也無法改變CPI已經被拉高的問題。

@board @aieconfinance

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-10

美國消費者物價指數:在家食品
從2021年到2022年短期趨勢從平均每月1.88增加的速度增加到3.62後,在最新的7個月趨勢中增長速度已經減緩,但趨勢仍是向上。

@board @aieconfinance

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-10

美國聯邦基金利率趨勢(截至2023年4月5日當週)

使用MathAI for numerical modelling (lines combined method)能找出人為設定的利率規律。

@board @aieconfinance

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-10

美國所有商業銀行消費貸款(截至2023年3月29日當週)

@board @aieconfinance

AI數字分析領航者 :mastodon: AI底層數據建模aphoebusli
2023-04-10

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst