刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」难题

量子位2026-10-12 15:480 次浏览

GPT-6 Astra扫荡数学证明ing

AI火了也有两三年了。现在大部分企业多少都做过AI探索。但你要问效果怎么样，很多人就摇头了——投入了时间预算，回头看好像做了一堆尝试，真正用起来、能持续产生价值的，屈指可数。问题出在哪？我自己的感受是：AI这行，信息很杂了。大家都在讲趋

用AI写PRD、画原型、做数据分析，已经算不上什么新鲜事了。更厉害的是AI Coding。一个不懂编程的产品经理，折腾几个小时，也能做出一个像模像样的网站或者APP。碰到问题，把报错信息扔给AI，它还能接着帮你改。不少产品经理可能都有过

新智元报道最近，大模型圈的风向，彻底变了。以前，大家还在比拼模型能生成多少内容、手搓多少行代码；然而，现在的用户，早就不想要只停留在对话框里的「半成品」了。大家真正看重的是：它究竟能不能帮我们干完一件具体的工作任务？能不能听懂复

伊朗外长阿拉格齐11月1日在接受媒体采访时表示，针对开放霍尔木兹海峡的条件，伊朗可以从此前的“七日计划”改为“两日计划”。阿拉格齐表示，目前，摆在桌面的方案与伊朗此前提出的“七日计划”基本相同。卡塔尔提出的建议之一是“将七天期限缩短至五天甚

10月30日至31日，由复旦大学哲学学院、北京大学哲学系宗教学系共同主办的“当代中国哲学与新全球哲学：传承、对话与未来愿景”国际学术会议在复旦大学举行。这是复旦大学哲学学院（系）成立七十周年系列学术活动之一，来自剑桥、波恩、柏林洪堡、鹿特丹

天桥艺术中心近日宣布陆川执导的首部舞剧《天工开物》自2024年首演以来，已在北京、上海、深圳等73座城市巡演超200场，90余场售罄。《天工开物》由陆川执导，总编导高燕、孟可，作曲吕亮（舞蹈诗剧《只此青绿》作曲），舞美总设计罗亚卓，服装造型

刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题