60歲的芭比終於要擺脫胸大無腦的人設了!工程師芭比推出,將要教小朋友線上寫程式

現在小孩的世界裡,有拳擊手芭比、運動員芭比、工程師芭比。如今,芭比的宣傳語已經變成了「你可以成為自己想成為的人」。已經六十歲的芭比,今天終於更新了人設。

業餘數學家為一道填色難題帶來突破!

圖論中一項跟填色有關的難題,自1950年提出以來沒有太大進展,數學家只知道答案在四到七之間,近來一位業餘數學家則把答案下限提升至五。

圖靈機到人工智慧,誰讓電腦強大?是數學!

人工智慧圍棋程式 AlphaGo,壓倒性擊敗棋王而轟動全世界,令人不禁疑問:機器可以思考嗎?機器可以超越人類心靈嗎?而著名的「涂林測試」 (Turing Test),就是對此問題的一種判定。

解開高斯相關性猜想,退休統計學家湯瑪斯羅炎刷牙時的神來一筆

2014 年夏天的某一個清晨,陽光如往常一樣穿透白色窗簾照了進來,湯瑪斯羅炎起身前往浴室盥洗,一邊刷著牙一邊回想昨晚入睡前那個證明。突然間,一道靈光射進了羅炎的腦袋,困擾數十年的高斯相關性猜想(Gaussian Correlation Inequality Conjecture)終於攻破了大門!