GitHub 最強 AI 數學解題神器！拍照上傳秒給答案，連微積分都難不倒他

Posted on2019/05/27
TO 精選觀點

【為什麼我們要挑選這篇文章】AI 應用越發奇葩，過去寫數學一支筆、一顆腦，現在連腦都不用，帶個 AI 就行。
中國 GitHub 大神研發數學 AI，透過深度學習與影像識別，打造最強解題神器。每個學生都夢寐以求的數學 AI 究竟怎麼下載？怎麼用？接著看下去。（責任編輯：陳伯安）

作者：量子位／ 曉查 銅靈

一位叫 Roger 的中國學霸小哥的拍照做題程式 mathAI 一下子火了，這個 AI，堪稱數學解題神器。

輸入一張包含手寫數學題的圖片，AI 就能辨識出輸入的數學公式，然後給出計算結果。

不僅加減乘除基本運算，就連高等數學中的微積分都不在話下。

就像下面這樣：

還在苦苦糾結高數作業如何求解？還在東奔西走的找學霸借作業？手握 mathAI，不就是手握了新時代的解題利器嗎？

此項目程式碼已半開源

短短幾天時間，這個項目在微博就收穫了上百次轉發。看到畫風如此新奇，似乎還能開啓無限可能應用，網友們紛紛召喚自己的印象筆記（中國版 Evernote）小助手收藏，大呼：以後教數學就是它了。

作者表示，這個專案已經是半開源狀態了，目前開源的部分可以辨識計算加減乘除簡單運算。

如果想要辨識更加複雜的運算式，可以參考數學公式辨識的論文自己進行擴展。

具體來看看這個解題神器。

深度學習辨識數學題，正確率逼近 80%

全能型選手 mathAI 是怎麼實現這個功能的？

作者在 Github 中介紹說，整個程式使用 python 實現，具體處理流程包括：圖像預處理 → 字元辨識 → 數學公式辨識 → 數學公式語義理解 → 結果輸出。

整個系統的處理流程如下：

圖片預處理主要以 OpenCV 作為主要工具，將圖片中的字元單獨切割出來，避免無關變數對字元辨識的影響。

隨後，國際數學公式辨識比賽資料集（CROHME）對通過卷積神經網路進行訓練。

此外，還進行結構分析，對字元的空間關係進行判定。比如一個字元的上標和下標，含義自然不一樣。

在語義分析階段，就需要匯集上面得到的資訊，判斷運算該如何進行了。節點屬性傳遞過程如下圖所示：

作者在用 160 道手寫測試題進行了測試：

結果表明，平均字元辨識率達到了 96.23%，且系統做題的平均正確率達到了 79.38%。

手把手教學怎麼用

來，實際上手操作下。

作者給出兩種使用模式：網頁模式和介面模式（Interface）。介面模式比較直觀，只需打開網頁上傳圖片即可自動給出解題結果。

下面以介面模式為例介紹一下 mathAI 的安裝使用方法。
首先需要安裝 flask、虛擬環境、科學資料庫 numpy、sympy 等，它們都可以用 pip 安裝。

pip install flask
pip install virtualenv

將項目的 lib.zip 檔解壓到系統目錄的 venv 資料夾下。（lib.zip 可以回覆 lib 獲取）

配置置好運行環境後，用 PyCharm 打開下載好的專案，在載入過程中，PyCharm 會自動安裝好專案依賴的軟體資料庫。

使用命令列進入專案所在目錄，並啓動虛擬環境：

. venv/bin/activate

將 FLASK_ENV 環境變數設置為啓用開發模式：

export FLASK_ENV=development

然後使用指令運行 flask 網站框架 :

export FLASK_APP=welcome.py
flask run

打開流覽器，在位址中輸入 127.0.0.1:5000，即可打開項目網頁。在網頁中輸入一張包含數學公式的圖片，就好返回運算結果。

目前 GitHub 專案頁上的程式碼只支持加減乘除這樣的簡單運算。

中國神人 Roger 的其他 GitHub 發明

做出這個自動求解系統的，還是一位元中國少年。

這位 GitHub ID 為 Roger，本名羅文傑，是中山大學資料科學與電腦學院的研一在讀碩士生，主要攻讀電腦視覺方向。

不僅這個解題神器，在 Roger 的 GitHub 主頁上還能看到其此前參與的很多有趣研究。

比如這個基於帖子的校園互助交友平臺 LiBond。用戶可以在裡面發佈任務，然後使用虛擬幣荔枝進行交易。

羅同學的設想是，有閒置時間的同學可以在此平臺上幫助他人，然後結交好朋友，荔枝幣還能用來兌換喜歡的物品。

再比如，一個基於 C++ 的無禁手五子棋 AI，可以通過 openGL 實現圖形介面。

在這個項目中，羅同學使用了最經典的極大極小博弈樹、alpha-beta 剪枝、置換表等演算法，還附上了核心程式碼。

確認過眼神，是學霸無疑了。

資料來源：https://buzzorange.com/techorange/2019/05/27/math-ai/…

【開箱】入門新選擇，友旺 Abocom A01 Android 智慧電視棒。

http://www.coolpc.com.tw/phpBB2/viewtopic.php?f=81&t=114563

入門款的友旺 Abocom A01 Android 智慧電視棒，在基本的輕量級應用上，例如上網、玩小遊戲、聽音樂、在大螢幕上多人一起欣賞照片影片等等，其實已經非常夠用的，A10 CPU在速度執行上雖然沒有到神速，但也不至於至龜速慢跑， 如果家中有小朋友，有許多益智類幼教App可以下載給小朋友玩，或是家中有年長的長輩，也可以下載相關的App，像看盤軟體，五子棋還是布袋戲之類打發時間，也都綽綽有餘哦！畢竟它不是PC電腦，若是要拿它來打重量級3D遊戲就太超過嚕>"<~

喜歡的朋友趕緊透過線上估價或直接至門市購買唷！

五子棋下載網址：https://goo.gl/kD3Lmd
►從今天訂閱阿紅👉https://goo.gl/WlI3Qv
►來收集阿紅週邊👉https://goo.gl/nuglxC
►聊天室這邊請👉https://goo.gl/ppmXP9

▼直播規定▼
1.不要洗頻
2.不要使用惡意語言
(罵人或起爭議或釣魚)
3.不要問台主私人隱私
(幾歲、住哪之類的...)
4.不要宣傳自己的頻道
(求互訂閱這個很蠢)
5.不要提及其他實況主
(P.S.被Ban想解Ban請私訊粉絲團)
(P.S.以上觸犯台規管理員會出來處罰你呦)
▼補充說明▼
1.手機遊戲大部分由模擬器執行，請自行GOOGLE安裝
2.轉珠時用的不是滑鼠,是電繪板
3.我沒有教怎麼開直播,請自行GOOGLE
4.我不懂電腦配備,所以恕我無法回答
5.剪輯用Adobe Pr，有時用Adobe Ae
6.神魔好友滿了謝謝
7.直播紀錄會上傳到第二頻道:https://goo.gl/raOeW8


我是阿紅RedKai
如果生命有一件必須完成的事情
我想就是玩過好玩的遊戲
玩遊戲不可能一個人
所以
一起玩吧（◎`•ω•'）人（'•ω•`*）。

▌RedKai。主頻道 (Gaming channel)
☞https://goo.gl/WlI3Qv

▌RedKai。第二頻道 (second channel)
☞https://goo.gl/raOeW8

▌FB粉絲頁(發布各種日常,歡迎追蹤)
☞https://goo.gl/HXv1pN