标签：定理

这两年大家都在感叹生活不易，然而我想说的是，机会还是有的，但问题不在于有没有，而在于你是否能够认准机会，然后抓住它。 接触过很多咨询项目的人，发现...

新智元报道编辑：编辑部 HYZ 【新智元导读】最近，大家都被这条消息吓到了：传说Grok 3已经成功证明出黎曼猜想？！虽然这是在玩梗，但还是让我们来仔细剖析下...

—我的策展心路：平衡之美— 策划一个面向少年的数学展比想象中复杂。 数学的抽象和严谨往往让人望而却步。如何让整个展成为一个可操控的游戏？ 如何让800平方...

夕小瑶科技说 分享来源 | 机器之心几千年过去了，勾股定理还能有新发现？而且还是被两个高中生发现的？ 这个人人都会的初中二年级数学知识，在学术领域居然有...

机器之心报道 编辑：Panda、泽南论文已上期刊，数学家表示赞叹。几千年过去了，勾股定理还能有新发现？而且还是被两个高中生发现的？ 这个人人都会的初中二年...

新智元报道编辑：桃子 好困 【新智元导读】AI已完全融入数学家的工作流中。陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大...

机器之心编译 编辑：杜伟陶哲轩发起的「众包」数学研究项目终于快要迎来胜利时刻！大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理...

新智元报道编辑：乔杨桃子 【新智元导读】1%合成数据，就能让模型瞬间崩溃！来自Meta、NYU等机构团队证实，「微量」合成数据便让LLM弱不可堪。甚至，参数规模...

新智元报道编辑：编辑部 HYZ 【新智元导读】就在刚刚，清华校友用AI证明了162个未被人类证明的数学定理，解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的...

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术...

导语今年4月，Max Tegmark 团队发布了一种崭新的深度学习网络结构 Kolmogorov-Arnold Network（简称KAN） 后迅速引起轰动，论文一作刘子鸣在集智俱乐部 AI+Sc...

来源：ScienceAI 编译：白菜叶 「神经网络是目前人工智能领域最强大的工具。」Perimeter Institute for Theoretical Physics 的研究员 Sebastian Wetzel 表示...

来源：下文转自公众号：返朴(fanpu2019) 演讲：张寿武（普林斯顿大学数学系教授，美国艺术与科学学院院士） 整理：木槐、Helen人类对数的抽象思考古已有之。...

新智元报道编辑：桃子 【新智元导读】KAN的诞生，开启了机器学习的新纪元！而这背后，竟是MIT华人科学家最先提出的实践想法。从KAN到KAN 2.0，这个替代MLP全...

白小交 衡宇 发自 凹非寺量子位 | 公众号 QbitAI好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。 还是现在大家都用不上的满血版本（眼泪不争气地从嘴...

新智元报道编辑：编辑部 HXZ 【新智元导读】OpenAI o1，在门萨智商测试中果然取得了第一名。数学大神陶哲轩实测发现，o1竟然能成功识别出克莱姆定理。而OpenA...