标签： math

DeepSeek发布最强开源新品，瞄向全能Agent，给GPT-5与Gemini 3下战书

图片来源：unsplash ChatGPT迎来三周岁生日之际，竞争对手DeepSeek送来了一份“生日礼”，似乎并不想让这位大模型领域的先行者过得那么轻松。 12月1日晚间，DeepSeek一口气发布 … Continue reading DeepSeek发布最强开源新品，瞄向全能Agent，给GPT-5与Gemini 3下战书

Meta开源MobileLLM-R1系列小语言AI模型：参数量不到10亿、专攻数学编程科学问题

IT之家 9 月 22 日消息，Meta 现已公布了 MobileLLM-R1 系列小语言模型，分别提供 1.4 亿、3.6 亿和 9.5 亿不同参数版本，强调能够在本地移动平台等轻量级设备上运行。 … Continue reading Meta开源MobileLLM-R1系列小语言AI模型：参数量不到10亿、专攻数学编程科学问题

陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战—— 在Lean中形式化强素数定理（P … Continue reading 陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了

Python math.e：用Python实现自然常数e的计算(math.e常量)

自然常数e是数学中的一个重要常数，它是一个无限不循环小数，可以用无穷级数或者极限的方式来求得。Python中提供了一个名为math.e的常量，可以直接使用来表示自然常数e，同时也提供了一些函数可以用于 … Continue reading Python math.e：用Python实现自然常数e的计算(math.e常量)