AI Math是一款數學解題與方程計算套用,由Alper Albayrak開發。用戶可通過拍照獲取列印、手寫或螢幕上的數學問題的分步解答。
其2.2版本於2024年10月29日發布,改進了解決方案算法。套用支持英語和土耳其語,年齡評級為4+,並提供免費版本與訂閱選項。
AI Math是一款數學解題與方程計算套用,由Alper Albayrak開發。用戶可通過拍照獲取列印、手寫或螢幕上的數學問題的分步解答。
其2.2版本於2024年10月29日發布,改進了解決方案算法。套用支持英語和土耳其語,年齡評級為4+,並提供免費版本與訂閱選項。
AI Math Notes 是一個開源的互動式繪圖工具,允許用戶在畫布上繪製數學方程。靈感來源於Apple在2024年全球開發者大會(WWDC)上展示的“Math Notes”。技術特點 AI Math Notes利用多模態大型語言模型(LLM)計算並顯示結果。該應用程式使用Python開發,利用Tkinter庫創建圖形用戶界面,使用PIL進行圖像處理。發展歷史 2024...
AI4Math團隊是北京大學董彬課題組與合作者組建的研究團隊,隸屬於北京大學北京國際數學研究中心(BICMR)。團隊於2023年正式組建,核心成員包括劉若川、肖梁、文再文、董彬等教授。團隊成員來自代數與數論、最佳化、機器學習與人工智慧等多學科背景。主要成就 2026年4月,AI4Math團隊使用其構建的自動化AI框架,解決了交換代數...
AI數學解題器是基於GPT-4、Gemini等多模態大模型的智慧型教育工具。其核心功能包含智慧型拆解思維鏈、多模態題目輸入(支持文本、圖片及公式識別)和15秒內生成詳細解題步驟,覆蓋K12至大學全科數學內容。2025年4月被納入教育部推薦AI套用,支持邏輯推導鏈拆解與題型識別。該工具支持物理、化學、生物等多學科問題解析,適配...
在互動方面,產品具備“蘇格拉底啟發式AI答疑”功能,可通過多輪對話進行引導;並套用多模態技術,支持用戶與動畫視頻內容進行實時問答。此外,產品還包含了與校內課程同步的知識圖譜系統。其知識內容以可互動動畫視頻為載體。運營模式 海豚AI學累計服務超過330萬學生,覆蓋全國5萬多所中國小,其海外版Leapmath在70多個...
Question.AI是作業幫於2023年推出的海外AI教育套用,基於自主研發的大模型和AI算法,為全球學生提供全學段、全學科的學習支持。該套用採用視覺多模態大語言模型體系架構,通過獨創的跨模態關聯技術實現複雜題目的精準識別,並運用多模型融合策略提升數理題目的解題準確率。其核心功能包括拍照解題、PDF檔案解析、24小時AI答疑...
MathGPT整合於學而思學習機,支持AI批改、翻譯、問答等互動功能,通過多輪對話診斷學習薄弱點並針對性強化。MathGPT研發始於2023年5月,同年8月開啟官網內測,11月成為首批通過備案的教育大模型。12月定名“九章大模型”並搭載於學而思學習機二代xPad2 Pro系列產品發布,包含14英寸和12.35英寸機型,首發價分別為8599...
如何通過MathTutor提交數學問題?用戶可通過語音輸入或文本方式提交問題。系統利用語音識別技術實時處理問題,並以LaTeX格式展示詳細的解題步驟。MathTutor的解題速度和準確性如何?該工具內置高性能數學引擎,能在極短時間內提供精確答案,並動態渲染解題過程。其解決方案經過AI上下文增強,確保高精度。MathTutor
其軟體版本已更新至2.0,並於2024年12月25日更新,套用平台為Winxp/vista/win7/2000/2003,數苑網亦發布了“MathQ AI 產品模型更新”的相關公告。其測試版於2012年1月16日推出,集成UMathPlay公式編輯與計算、UGraphPlay圖形編輯與計算功能,支持2D/3D函式作圖及可視化公式運算。該軟體提供點對點及群組通訊,支持音...
該算法主要套用於智慧型對話場景,服務於企業端客戶,通過解析用戶輸入的數學問題生成解答答案,並於2024年2月通過國家網際網路信息辦公室境內深度合成服務算法備案,套用於MathGPT智慧型問答平台(網站)。MathGPT大模型完成相關備案並正式落地學而思AI學習機,其搭載的“AI對話學”功能基於MathGPT的解題和講題能力開發。該算法...
Meta AI是由Meta公司開發的虛擬助手,於2023年9月的Meta Connect大會上首次發布。其核心技術基於Meta自研的Llama系列大語言模型,最初搭載Llama 2,後續集成了Llama 3及Llama 4版本。該助手被深度集成至WhatsApp、Instagram、Facebook、Messenger等社交套用以及Ray-BanMeta智慧型眼鏡等硬體產品中。截至2025年5月,其月活躍...
maths是英語名詞,源自希臘語‘máthēma’,現為數學(mathematics)的常用縮寫形式之一。該詞英式音標為[mæθs],美式發音相同,常見於教學場景搭配如math problem(數學題)、math test(數學考試)等表述。在中文語境中,該詞除表示數學外亦可用於音譯人名,如瑞典姓氏"馬茨"。其研究範疇包括數量、結構、變化、...
2024年6月,Mistral AI已獲得6億歐元(約合46.7億元)新融資,估值接近60億歐元(約合467億元)。7月16日,法國AI初創公司MistralAI連續發布了兩款7B模型,包括首個基於Mamba-2架構的代碼生成模型Codestral-Mamba-7B和專注於數學推理的Mathstral-7B模 型。當地時間2025年2月17日,Mistral發布名為Mistral Saba的...
Gauss是Math公司的AI Agent。主要用途 Gauss用3周時間,完成陶哲軒和Alex Kontorovich提出的數學挑戰——在Lean中形式化強素數定理(Prime Number Theorem,PNT)。Gauss形式化驗證了讓Maryna Viazovska在2022年獲得數學最高獎——菲爾茲獎的成果:關於8維和24維最優球體堆積問題的定理。這是21世紀以來首次有菲爾茲獎成果被完全形式化。
黃河水利委員會完成國產大語言模型deepseek本地化部署.3月31日訊息,deepseek已經成為全球增長最快的ai工具.8月21日,deepseek正式發布deepseek-v3.1.9月29日,deepseek-v3.2-exp模型正式發布並開源.11月27日,deepseek推出新型數學推理模型deepseekmath-v2.2026年3月29日晚,deepseek服務出現大規模訪問異常.3月30日...
天工AI是崑崙萬維於2023年8月推出的AI搜尋產品,後發展為集對話、創作、辦公等多功能於一體的AI助手。其核心基於自研的“天工”系列大語言模型驅動,該系列包括2023年4月發布的“天工1.0”、2024年2月採用混合專家模型(MoE)架構的“天工2.0”,以及2024年4月公測的4000億參數MoE架構“天工3.0”。套用支持智慧型...
作為首個採用Apache 2.0協定開源的大模型(Grok-1),其技術生態已吸引逾5萬開發者參與,形成AI行業的重要競爭力。2025年11月18日,xAI發布最新模型Grok 4.1。11月訊息,埃隆·馬斯克近日發布推文宣布旗下AI模型Grok 5將在2026年以“人類同等條件”挑戰《英雄聯盟》世界冠軍。2026年1月,X平台出現部分用戶利用“...
2025年3月推出Researcher和Analyst兩類AI智慧型體,5月整合GPT-4o圖像生成技術,8月升級支持GPT-5模型並上線2D圖像轉3D建模功能。2024年11月獲世界網際網路大會領先科技獎。移動端Microsoft 365套用因強制設定Copilot為默認主界面引發用戶差評。2025年12月15日,Copilot應用程式在LG電視的webOS系統中上線,自動安裝且無法...
愛數學(AIMath – Assessment in mathematics)是著作權人為廣州市聯大信息科技有限公司的國小數學教學平台,於2025年5月26日登記軟體著作權。該平台以美國、澳大利亞國小數學教學方法為基礎,結合歐美兒童認知心理學理論,依據中國現行教學大綱開發。平台支持簡體中文,涵蓋人教版、蘇教版、北師大版和西師大版等教材版本...
2023年7月,從微軟離職,並加入xAI創始團隊,主導開發人工智慧聊天機器人Grok,研究方向聚焦“Math for AI”與“AI for Math”;10月,以共同第一作者身份發布xAI首篇論文《如何訓練無限深度網路》,提出Depth-μP超參數遷移方法,致力於建立大規模深度學習的統一理論;同年,參與首屆國際基礎科學大會“基礎科學與人工...
2026年4月,北京大學北京國際數學研究中心董彬教授課題組與合作者組建的AI4Math團隊用自主構建的自動化AI框架解決了交換代數中一個開放問題——Anderson猜想 。研究方向 北京國際數學研究中心的目標是致力於數學學科的前沿問題研究,培養新一代傑出數學人才,為促進數學思想和成果的交流提供平台。“中心”服務於國內外數學...
6月4日,微軟公司發布博文,宣布Teams套用已整合名為Athena的AI智慧型體,該智慧型體用於最佳化產品開發流程,其相關原始碼已開源託管在 GitHub 平台上。Athena智慧型體搭載了微軟的Trillion-Modal多模態大模型。微軟透露,Athena已在內部超過2000名工程師中使用,用於提升開發速度、質量和專注度。該工具可加速代碼審查,提早發現...
o1-2024-12-17是OpenAI於2024年12月發布的推理模型,其核心突破在於通過強化學習驅動的深度思考機制,在數學、編程、科學推理等複雜任務中展現出顯著優勢。o1的發布標誌著AI技術從“規模競賽”到“能力躍遷”的轉變。數學推理能力 在MATH數據集測試中,o1對偏微分方程求解的準確率提升至82.3%。在美國數學奧林匹克競賽...
○ 數學模型:AI數學模型是人工智慧領域用於實現特定任務的系統化數學工具。通義千問的數學模型包括Qwen2-Math、Qwen2.5-Math等。○ 嵌入模型:嵌入模型是將文本、圖像等非結構化數據轉化為數學向量的核心技術。Qwen3 Embedding系列模型建立在Qwen3基礎模型之上,支持文本嵌入、檢索、重排等功能的實現。○ 機器翻譯模型...
Kimi是北京月之暗面科技有限公司於2023年10月9日推出的智慧型助手,專注於長文本處理領域,是全球首個支持輸入20萬漢字的AI產品,具備長文總結、聯網搜尋、數據處理、代碼編寫等核心功能,主要套用於學術論文翻譯、法律問題分析和API文檔理解等場景。2023年11月16日,Kimi Chat面向全社會開放服務。2024年3月,Kimi支持...
Lean及其mathlib已被用於形式化多個數學猜想和定理,如多項式Freiman-Ruzsa猜想於2023年11月宣布解決並在三周內完成形式化。陶哲軒等人還於2024年啟動了使用Lean對素數定理進行形式化證明的項目。基於Lean 4構建的形式驗證最佳化器AMO-Lean等項目展示了其在計算機科學領域的套用,AMO-Lean於2026年被發布。AI輔助工具如Lean...
2025年5月,TeleAI 推出全新升級的星辰語義大模型TeleChat2.5版本,並發布複雜推理大模型 T1 正式版,且雙雙開源。TeleChat2.5綜合能力表現優異,在AlignBench和 MATH-500評測基準中評分均超過OpenAI GPT-4o。基於 TeleAI 獨特的數據處理和訓練方法,TeleChat2.5的數學和工具調用能力出色,整體效果較上一代版本...
躍問 躍問是階躍星辰旗下的人工智慧,躍問在長文處理方面,邏輯、數學、多模態等方面具有優勢。發展歷史 2024年4月9日,階躍星辰宣布全面開放AI效率工具“躍問”(StepChat)。模型簡介 該產品基二階躍星辰 Step 系列大模型,能夠幫助用戶進行信息查詢、詫言學習、創意寫作、圖文解讀、一鍵生成信息長圖等。
GSM8K是OpenAI於2021年發布的一個數據集,全稱為Grade School Math 8K,包含8500道高質量的國小數學套用題,用於評估大語言模型的數學推理能力。該數據集由標註公司Surge AI製作,題目需要2到8步解決,並配有詳細解法。GSM8K已成為評估大模型數學能力的流行基準,眾多研究在此數據集上測試模型性能。2025年,許多頂尖...
行業關注SRAM在低延遲推理場景的套用,分析指出SRAM與HBM在AI存儲市場中具有互補關係,共同擴大市場規模。SRAM技術路線凸顯了晶圓代工廠在先進制程中的核心地位,並為存儲供應鏈帶來新的機會。平台與業務 Groq是提供算力服務的平台之一,在AI基礎設施中發揮作用。矽谷投資人、Social Capital創始人Chamath Palihapitiya曾表示...
