| OpenAI | LLM | 數學 | GitHub

OpenAI新一代具關聯思考能力的模型o1,可逐步分析推理精確解答問題

OpenAI推出全新大型語言模型o1,其能夠運用關聯思考(Chain of Thought)技巧,解決需要深度推理的問題,無論是數學還是程式設計基準測試皆表現出色,目前已在ChatGPT開放測試

2024-09-16

| google | Deepmind | 幾何學 | AlphaGeometry | 數學 | 證明

離通用AI更近了!Google DeepMind新AI媲美國際數學奧林匹克金牌的解題能力

Google DeepMind團隊打造一款AI系統AlphaGeometry,由神經語言模型和符號推論引擎組成,單靠1億筆合成資料訓練,就成功在最新的國際數學奧林匹克競賽中,解出25題(共30題),表現還與金牌得主的平均值25.9題相當。

2024-01-18

| Deepmind | AI | 數學 | AlphaGeometry | 幾何

DeepMind新模型專解幾何問題,能力與奧林匹亞數學金牌相當

DeepMind開發的新人工智慧模型AlphaGeometry,能夠解決複雜的幾何問題,其表現接近國際奧林匹亞數學競賽金牌得主

2024-01-18

| Deepmind | LLM | 數學

DeepMind發展用LLM解困難數學問題的方法

為了用AI解決數學和電腦科學難題,DeepMind的FunSearch的方法運用大型語言模型和評估器(Evaluator),研究人員預期,FunSearch將可為現有科學和工業領域新舊問題找到更好的解法

2023-12-15

| Alphabet | Deepmind | AlphaTensor | 數學 | 矩陣乘法 | 演算法

DeepMind公布首個可用來發現矩陣乘法新演算法的AI系統AlphaTensor

AlphaTensor在未被灌輸相關資料下,不但藉由自我學習機制發現歷史上各種快速矩陣演算法,還創造出優於人類設計的矩陣乘法演算法

2022-10-06

| 書摘 | 演算法 | 數學 | Matt Parker | 數學大觀念

數學網紅的演算法脫口秀

從數學的「最佳停止問題」,來探討小至購物大到終身伴侶的選擇,你都可以採用的演算法

2020-07-30

| 程式設計 | 數學

特意結合數學的程式練習

程式設計是否會用到數學,經常引發論戰,與其設法尋找數學不好也可以生存的佐證,不如刻意以結合數學的程式設計來練習

2019-05-11

| google | AI | Deepmind | 數學

Google AI系統DeepMind高中數學考試不及格

Google旗下DeepMind團隊讓AI系統接受一項高中程度的數學測試,在40道題目中只答對14題,連「1+1+1+1+1+1+1」也算錯了

2019-04-12

| 林信良 | 遞迴 | 碎形 | 數學

遞迴、碎形與數學

思考問題的解法,其實也是尋求可能性的過程,從簡單到複雜,就算最終未獲成果,仍彌足珍貴

2017-01-14

| 程式人 | 林信良 | 數學

程式人的數學書

將數學當成一個表達、思考的方向,就像是學習新語言那樣!

2016-11-27

| GIMPS | 梅森質數 | 數學 | 密碼學

GIMPS發現已知最大質數,共有2233萬位數

上一個質數是在2013年同樣被GIMPS計畫發現,是2的57,885,161次方減1(257,885,161-1),而這次新發現的質數2的74,207,281次方減1(274,207,281-1),總計有22,338,618位數,比2013年的發現要多出500多萬位數。

2016-01-21