数学成绩(Math Scores)
The week before last, my younger daughter, Erbao, scored a 69 on her math unit test.
Big Math:当AI成为数学的先知,数学将何去何从?
我们所处的现代世界建立在数学的基础之上,从社交媒体算法、包裹配送、天气预测,到医学影像与机器学习,无不依赖于它。计算机的兴起助推了数学的主导地位,让我们得以处理那些远超人类大脑有限能力的庞大数字。
Axiom Math 想让 AI slop 远离数学,用形式化验证打地基
AI 破解数学难题的新闻越来越多:上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后,Axiom Math 押注数学可以避开这个命运,不是放慢速度,而是站在更稳的地基上。
最难数学题考满分,真实项目只做成两成:AI 到底有多强?
《AI 的边界》系列 · 第 1 篇2026 年 9 月,Epoch AI 推出 FrontierMath: Erdős 测试,收录 68 道大数学家埃尔德什留下、此前无人解决的难题。
数学软件一览,让你的数学学习事半功倍
数学软件越来越多,选不对很耗时间,普通人怎么挑才顺手。我最近才发现,身边很多人学数学都用上了软件,有人拿它算题,有人画图,有人写论文。可软件装了一堆,真正用明白的没几个。问题不在软件多,而在没想清楚自己要解决什么,先看任务,再看阶段,最后看预算,选起来会简单很多。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math,722 份数学手稿归成 372 个成果组,覆盖数论、代数几何、理论计算机等方向,出自一个尚未公开的内部模型,每个结果平均消耗约 3 小时 ChatGPT Pro 级算力,数学评测本身已经刷满。
数亿美元做数学,奥特曼:OpenAI还有发现没公开
10月29日发布的《Cheeky Pint》访谈里,奥特曼透露:OpenAI在数学研究上的投入,还涵盖了许多尚未公开的发现。
4 Nov 英语每日一句
Mathematics is a vast adventure in ideas; its history reflects some of the noblest thoughts of countless generations.
中考英语词汇表
中考英语词汇表Aa (an) [ə, eɪ(ən)] art. 一(个、件……)ability [əˈbɪlɪtɪ] n. 能力;才能able [ˈeɪb(ə)l] a. 能够;有能力的about [əˈbaʊt] ad. 大约;到处;四处 prep.
数学中的先后:不一定是谁先发生
如果只用一句话解释:数学中的“先后”,不是单指时间先后,而是按照某种明确规则,规定对象之间谁在谁前、谁在谁后,或者谁不超过谁。零在一前面。三小于五。一个集合包含在另一个集合中。数列的第二项出现在第五项之前。一个单词按字典规则排在另一个单词前面。这些事情看起来完全不同。