(学习笔记) 泛函分析 52 [c3p5]
Chapter 3 Problems 5-6
AI宣布森多夫猜想告破!陶哲轩发现它隐藏的更强结果
来源:市场资讯(来源:机器之心)编辑|冷猫随着 AI 推理能力迎来井喷式的发展,数学研究正在经历一场深刻变化。那些曾经困扰人类数十年的未解难题,正在 AI 的辅助下加速解决。
悬置六十七年的森多夫猜想解决:菲尔兹奖得主陶哲轩消化AI证明
一则来自数学界的消息正在引发广泛关注:困扰数学家六十七年之久的森多夫猜想(Sendov's Conjecture)已被完整证明。
GPT-5.6跑了16小时,协和医生解开22年数学难题
8月14日,康奈尔大学数学家Alex Townsend和华盛顿大学教授Anne Greenbaum公开了一篇文章,介绍了一项刚刚得到专家确认的数学突破。北京协和医院神经外科博士后、住院医师金山木,在GPT-5.6 Sol的帮助下,完成了Crouzeix猜想的证明。
杨振宁先生数理工作漫谈:单位圆定理及其他
I said, ”Well, it was natural.” And it was, it was just a natural outgrowth of where mathematics was going in an area called fiber bundles. So, it meant connections in fiber bundles and so on. So, I told him that, and then he said, ”Well, would you give us a seminar on this stuff?
伟大的数学家们是在多大的时候改变的世界?
诚然,证明一个数学定理需要大量的创造力、重新认识问题的能力,还要用其他人没有想到的方式来进行思考。Ø 数学大事记中 25 % 的数学家们在他们 30 岁以下做出了重要的数学成果;
一句话让AI生成游戏,是真的还是吹牛逼?
10月22日,在Unreal Fest Shanghai 2026上,月之暗面Kimi开发者关系负责人及高级研发工程师唐飞虎,带来了主题为「眩晕瘫坐?