Harmonic (@HarmonicMath)

Aristotle Agent라는 '자율 수학자' 모델이 공개되어 현재 라이브로 무료 제공 중이라고 발표되었다. 해당 에이전트는 복잡한 수학 연구 문제를 해결·형식화하도록 설계되었고, 게시물에 따르면 'Formal Math' 분야에서 1위 성과를 기록했다는 주장도 포함되어 있다. 수학 연구용 에이전트형 AI의 새로운 응용 사례로 주목됨.

https://x.com/HarmonicMath/status/2034028065513451594

#aristotleagent #autonomousagent #formalmath #mathai

Harmonic (@HarmonicMath) on X

🦾Meet Aristotle Agent, the world’s first autonomous mathematician — live and currently free of charge. We designed Aristotle Agent to solve and formalize the world’s most challenging mathematical research problems. It is now: ☑️#1 in Formal Math: We’re the #1 formal math model

X (formerly Twitter)
Local math LLM in action: Qwen2.5-Math-7B-Instruct.Q6_K solving calculus and quantum mechanics problems.

I tested it with problems from my university exams (curve length, extrema, gradient fields, 2D quantum box). Calculus worked surprisingly well.

I might also test it on matrix-related problems in the future.

Running fully local on AMD + ROCm.

Model quirks

- Curve length: Interprets inputs context-sensitively, e.g., e-t is correctly read as e^(-t).
- Gradient fields: Often overshoots and automatically computes the antiderivative; needed a stop condition.
- Step-by-step: Solves problems in a very textbook-like manner; some steps could be skipped when doing calculations by hand.

Video workflow:

- Recorded with OBS
- Edited in Kdenlive
- Transcoded with VAAPI (H.264)

No cloud, real hardware.
Everything runs on Linux + Text Generation Web UI (FOSS), so anyone can set this up.
No GPU? No problem, you can also run it using PyTorch’s CPU backend, just much slower.

Background music: Evanescence - Haunted (https://www.youtube.com/watch?v=tjDlL87sHMw)

#LocalAI #LLM #Qwen #MathAI #FOSS #GenerativeAI #Linux #ROCm #math
AI attempts to solve First Proof math challenge

OpenAI shares proof attempts for First Proof, a math challenge testing if AI can produce checkable proofs on domain-specific problems.

TechLife

總結來說: 2022年4月的分隔點,代表美國蛋價的市場結構從一個受穩定基本面主導的系統,轉變為一個極易受到外部衝擊和市場情緒驅動的高波動系統。

很可能是美國對蛋價穩定的能力在結構性問題和外部壓力下顯著減弱。當前的蛋價走勢,已經成為觀察美國農業供應鏈韌性與市場調節能力的一面鏡子。

5/

#經濟 #財經 #美國 #蛋價 #SupplyChain #USA #useconomy #economywatch #mathai #AIDataAnalysis

🚨 2022年4月之後:美國蛋價穩定的能力減弱

這突如其來的趨勢轉變,究竟代表著什麼?可能原因如下:

1) 結構性衝擊導致的市場脆弱性: 2022年初開始,美國禽流感疫情加劇,導致數千萬隻蛋雞被撲殺,供給面遭受了巨大的、非線性的衝擊。

2) 供應鏈缺乏彈性: 這種劇烈的、不對稱的波動,顯示美國的蛋品供應鏈和生產體系在面對重大外部衝擊時缺乏足夠的彈性和緩衝能力。生產者難以迅速恢復產能,導致市場恐慌和價格飆升。

3) 價格傳導機制的改變: 價格變動不再是緩慢、線性的供需調整,而是帶有投機和預期心理的特徵,類似於金融市場對突發事件的反應。

4/

#經濟 #財經 #美國 #蛋價 #egg #useconomy #economywatch #mathai #AI數據分析 #AI

第二時期:2022年4月 – 2025年9月 (高波動類似於「股市」特徵)

從 2022年4月 開始的短期趨勢,走出了個極為明顯的「股市」特徵:

極端的高波動性: 價格區間從低點 $1.64$ 美元 (2022-07) 飆升至歷史高點 $5.89$ 美元 (2025-03) 後又大幅回落,波動幅度遠超第一時期。

短期趨勢線更頻繁、更陡峭: 短期趨勢內的點數較少,代表短期趨勢的轉換更為頻繁;趨勢線的斜率(上漲或下跌速率)也變得極度陡峭。

3/

#經濟 #財經 #美國 #蛋價 #egg #useconomy #economywatch #mathai #AI數據分析 #民生

第一時期:2018年1月 – 2022年3月 (穩定與可預測)

在這個時期,蛋價的短期趨勢線(紅線段)表現出以下特徵:

1) 穩定的上漲或下跌趨勢: 每個趨勢段的斜率相對平緩且持續時間較長(黃色標記列間隔較大),價格區間變動相對穩定,維持在 $1.20$ 美元到 $2.08$ 美元之間。

2)「線性」特徵明顯: 短期波動與長期趨勢的偏離度較低,表明市場價格對供需基本面(例如季節性、飼料成本穩定性)的反應是可預測且線性的。這反映了當時市場結構穩定,生產調控能力強,且對外部衝擊的吸收能力較高。

2/

#經濟 #財經 #美國 #蛋價 #egg #useconomy #economywatch #mathai #AI數據分析

誰能想到美國的蛋價短期趨勢與政治週期、政策事件有著密切的關係呢。

美國蛋價下跌從2025年4月開始到9月,先前是2024年10月(對,美國總統大選最後幾個月)開始上漲,並且漲出個歷史新高。

第二,從2018年到2025年的蛋價短期趨勢中可以看出分成兩個時期。分割時間點就是2022年4月。

2022年4月之前,蛋價是穩定的上漲或下跌趨勢,價格區間穩定。然而,2022年4月開始的短期趨勢走出了個「股市」特徵,波動特別大。

要怎麼說呢?

繼續寫在留言區

1/

#經濟 #財經 #美國 #蛋價 #egg #usa #useconomy #economywatch #mathai #AI數據分析

美國耐用品:家用電器及電器與電子產品庫存的短期趨勢,明顯可以看到川普關稅政策對其影響。

#經濟 #財經 #MathAI #AI數據分析 #DurableGoods #Household #Inventory

這也是追蹤之前曾經使用 #MathAI 運算過的指標:美國聯邦債務總額市值。

第一張圖是先前發布過的,截至2025年7月的短期趨勢結果。第二張圖是更新到10月數據的結果。

從第二張圖可以知道美國聯邦債務總額市值從今年5月到10月平均每月增加4924.51429億美元。前一短期趨勢從2024年10月到今年4月,平均每月增加1008.21429億美元。

後者的數字比對第一張圖就會發現,因為5月和6月的債務總額市值較低,造成第一張圖平均每月僅增加843.236億美元。

由此可知,在美國實施高關稅的保護主義期間,造成聯邦政府債務暴增。

#經濟 #財經 #美國 #debt #usa #useconomy #AI #AI數據分析 #economywatch