Mistral最新开源数学模型 Mathstral，能不能算对 9.11 和 9.9谁大？｜AI 鲜测
Mistral最新开源数学模型 Mathstral，能不能算对 9.11 和 9.9谁大？｜AI 鲜测这几日，AI 圈又一“震惊”事件！！
来自主题: AI资讯
10063 点击 2024-07-19 12:40
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
这几日，AI 圈又一“震惊”事件！！
Mistral AI两款全新7B模型宣战OpenAI，对标更长的代码分析和更高效的数学推理。
冲锋在AI辅助数学研究第一线的陶哲轩，近日又有「神总结」：ChatGPT提升的，是我们在编码、图表等次要任务上的能力；而真要搞好数学研究，基础不扎实的话，AI也是没用的。
批评不仅能让人进步，也能让大模型的能力提升。
只要10k数据，就能让大模型的数学成绩增长5.6%。
历经3个月，首届AI奥数竞赛终于公布最终结果了！Gemma 7B只能达到3/50正确率的题目中，第一名的Numina模型居然刷出了29/50的成绩。
在 AI 的帮助下，越来越多的数学问题得到了解决。
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
10亿名“员工”生产数据合成，数量占到了世界人口的13%。
就在刚刚，竞技场排名再次刷新：深度求索DeepSeek-Coder-v2成竞技场最强开源编码模型！