本文第一为毕业于马里兰大学计算机系的博士胡正冕，其导师为HengHuang，他的主要研究方向是采样与机器学习理论，曾在ICML、NeurIPS、ICLR、EMNLP等顶会上发表多篇论文，邮箱，huzh...

新智元报道，部HYZ，新智元导读，最近，大家都被这条消息吓到了，传说Grok3已经成功证明出黎曼猜想，！虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远，黎曼猜想，...

近藤钲太郎老师在当时的旧制第八高等学校的老师中绝对算得上是一位卓越的老师，他也是在艰苦岁月中非常难得的一位老师，跟随近藤老师学习的学生都对他印象深刻，我想很多人的一生受到了老师的影响，这本纪念文集中，...

现在公众号推送机制有点凌乱，常关注区老师的家长，建议给我加个星标，这样不容易错过消息，本来我想用的标题是，提高成绩的捷径，，然后文章里头再说没有捷径，毕竟这个标题吸引人，对提高阅读量有帮助，想了想，还...

素数，数字王国的，乐高积木，你有没有玩过乐高积木，在乐高里世界里，所有复杂的结构不过是由一个个简单的积木块拼接而成的，素数就是数字世界里的，乐高积木，——它们是所有数的基础组成部分，尽管它们看似简单，...

新智元报道，Aeneas好困，新智元导读，人类已知最大的素数，被GPU发现了！英伟达前员工LukeDurant发现的2136279841，1，比前一个纪录保持者多出1600万位，由A100计算，H10...

大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理证明器、AI工具和证明辅助语言Lean，来描述与4694条magma，原群，方程定律相关的蕴含图，这些定律可以使用最多四次magm...

新智元报道，桃子好困，新智元导读，AI已完全融入数学家的工作流中，陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩，他认为，剩余大约700个让人类头疼的难题，...