关键词: AI,AI数学,AI奥数,AI访谈

阿里巴巴全球数学竞赛，已经举办了六年。 在今年三月，组委会宣布了一件振奋人心的事情—— “不论碳基和硅基”，今年首次开辟了 AI 赛道。

关键词: AI,AI奥数,o1-mini,o1-preview,MATH-500

OpenAI的o1系列一发布，传统数学评测基准都显得不够用了。

关键词: AI数学,AI奥数,GPT-4,Llama 3

只要1/200的参数，就能让大模型拥有和GPT-4一样的数学能力？ 来自复旦和上海AI实验室的研究团队，刚刚研发出了具有超强数学能力的模型。 它以Llama 3为基础，参数量只有8B，却在奥赛级别的题目上取得了比肩GPT-4的准确率。