NEWS INFORMATION 新闻资讯
小乐数学科普:奖金$1048576=2²⁰美金的人工智能奥数AI-MO先进奖开赛2024-4-1~6-27
这项竞赛的标的是创修少许算法和模子,普通的出席将有助于普及AI模子的数学推理技巧并饱励前沿常识。留心,该竞赛相当于与本年IMO(International Mathematical Olympiad邦际奥数,第65届竞赛于2024年7月正在英邦巴斯市举办)同期实行的$500万大奖赛(The Grand Prize)之前的“开胃菜”。(参阅 )
假设咱们掷4个六面平允骰子,面判袂标有1到6。设a/b为最高掷出5的概率b体育,个中a和b是互质的正整数。求a + b。
参赛作品务必通过条记本电脑提交。为了正在代码上传后激活“提交”按钮,务必餍足以下要求:
对正整数n实行“闪光”(sparkle)运算,即策动n的数字之和并取其阶乘,比如13的闪光是4! = 24。一个呆板人从黑板上一个正整数起先,然后正在接下来的每一秒,用它的“闪光”调换黑板上的数字。对付少许“迥殊”数字,若是它们是第一个数字,那么最终映现的每个数字城市小于6。有众少云云的迥殊数字,餍足最众为36位数?
若五支排名最高的步队中的任何一支正在公然和非公然测试集上都没有横跨Gemma 7B的基准(3/50),则该步队的奖金将除以4。
具体提高奖获取者应是正在公然和非公然测试集上得分起码为47/50的最高排名团队。正在五个最高排名的团队获取任何奖项后,总资金的结余一面将授予具体提高奖得主,即奖金起码为2²⁰-(2¹⁷+2¹⁶+2¹⁵+2¹⁴+2¹³)=$794624美金。若是没有团队正在本次竞赛中获取具体提高奖,则总资金的结余一面将转入下一次竞赛,届时将同样用于奖金分派。
个体出席者和团队能够操纵主动化呆板进修器材(“AMLT”)(比如,Google AutoML、H2O无人驾驶AI等)创修提交,条件是参赛者或团队确保他们具有AMLT的适应许可,以便可能苦守角逐礼貌。团队只可操纵开源且正在2024年2月23日之前宣布的AI模子和器材。比如,编程言语,如Python和Lean,以及具有公然可用權重的LLMs,如Llama或Gemma。
競賽數據包含110個與AIME(American Invitational Mathematics Examination美邦數學邀請賽,是介于美邦數學競賽AMC10、AMC12及美邦數學奧林匹克競賽USAMO之間的一個數學競賽)氣魄肖似的數常識題。完全題目都是純文本的,並操縱LaTeX中的數學符號,固然有些題目也許涉及幾何學,但正在任何題目中都不操縱圖外。每個題目的謎底都是一個非負整數,模子預測謎底時,對謎底數字取模1000,即提交0~999之間的數字。比如,若是你以爲題目的謎底是2034 ,那麽你的預測該當是34。
陶冶數據集能夠正在Kaggle查看和下載(公式爲LaTeX花樣,參睹下列藍字問題)
設k, l 0爲參數。擲物線kx + l與直線訂交于兩點A和B。這些點之間的隔絕是6。求從原點判袂到A點和B點的隔絕之和的平方。設P爲AB上的一點,餍足AP = 1/20,設Q爲AD上的一點,餍足AQ = 1/24。線段DP和BQ將正方形分爲四個區域。求最大區域與最小區域的面積比。
日前,首屆人工智能數學奧林匹克提高獎競賽(AIMO Progress Prize)現已啓動公司新聞,這是由兩位菲爾茲獎得主(Timothy Gowers蒂莫西·高爾斯、Terence Tao陶哲軒)及Po-Shen Loh(羅博深)、Dan Roberts(丹·羅伯茨)、Geoff Smith(傑夫·史密斯)承擔照料委員會,倫敦金融科技公司XTX Markets贊助的萬萬美元AI奧數獎(AI-MO Prize)的第一一面,用于嘉獎答對題庫(公然和非公然題庫各50道題,高中秤谌)開源的AI“做題家”(代碼需公然開源),獎金池$2²⁰=$1048576美金。
個中大家測試集有50個題目,非公然測試集有50個題目,陶冶數據集有10個題目。
從111到999的每個三位數被染成蓝色或黄色,使得随意两个(不必分歧)黄色数字的和等于一个蓝色数字。黄色数字的最大也许个数是众少?