6小时告破30年数学难题，亚里士多德一夜成名
30年悬而未决的数学难题就这样被AI证明了？！此时此刻，𝕏（前推特）正在刮起一股讨论之风——来自Harmonic的数学AI模型独立证明了Erdős问题#124，而这个问题已经被数学家无奈搁置了近30年。
比利时动物园给金丝猴办百天宴，太有排面了……
- 1 -顶尖排面这是我来欧洲以后，参加过的最高端的百天宴了。
从拉美突围到出海榜前四：“全能型”AI工具为何挺进「影视娱乐」深水区
这款席卷拉美市场的'全能型AI驱动网络助手'，通过深度融合影视搜索与浏览器功能，打造出从搜索到播放的极短链路。
极为流行的“30-Plant Challenge”，这些地道英语表达太顶了！
最近，BBC 发表了一篇非常有意思的健康报道，题目叫： "I tried eating 30 plants a week. It was surprisingly easy."（我尝试了一周吃30种植物，没想到竟然这么简单。
6小时告破30年数学难题，亚里士多德一夜成名
30年悬而未决的数学难题就这样被AI证明了？！此时此刻，（前推特）正在刮起一股讨论之风——来自Harmonic的数学AI模型独立证明了Erdős问题#124，而这个问题已经被数学家无奈搁置了近30年。
“世界水日”“中国水周”，来了！节水知识有奖问答，等你来参与
疫情无情人有情&节水优先我先行LET`SGO世界水日有奖问答活动开始啦世界水日中国水周为深入贯彻落实习近平新时代中国特色社会主义思想和党的十九大精神，积极践行“节水优先、空间均衡、系统治理、两手发力”的治水方针，上海市供水管理处特举办本次节水知识有奖问答活动，活动面向全体市民，奖
AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决。
陶哲轩弟子打造数学AI解决30年数学问题，为何数学家们说不算数？
近日，券商巨头 Robinhood 首席执行官弗拉德·特涅夫（Vlad Tenev）在社交媒体上发布了一条推文：“我们正处于数学领域深刻变革的风口浪尖。氛围证明（Vibe proving）的时代已经到来。
Whereabouts 简单的两个词合在一起，你还认识吗？
英语学习其实是很有趣的过程，只要，你把它代入到日常的生活当中~而有的时候，明明两个熟悉得不能再熟悉的单词组合起来出现在你的眼前，你反而会变得犹豫，不知道自己所猜想的是否对路？