[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-slug-muse-spark-open-math-problems":3,"topics-all":36,"news-related-80d7cab1-b2a8-4644-913d-c4118f0cd7c8":54},{"id":4,"title":5,"summary":6,"content":7,"original_url":8,"source_id":9,"tags":10,"translations":22,"news_slug":29,"published_at":30,"created_at":31,"modified_at":32,"is_published":33,"publish_type":34,"image_url":15,"view_count":35},"80d7cab1-b2a8-4644-913d-c4118f0cd7c8","五个开放问题有了答案:Muse Spark 与数学家合写六篇论文","Meta 公布六篇数学家与 Muse Spark 协作论文,五篇解掉开放问题,覆盖概率、偏微分方程、群论等。协作全走 meta.ai 普通聊天界面,用 Thinking Mode 的 1.1 和 1.2,无定制研究系统;论文标注 AI 起草段落,第二组数学家评审,多篇结果有外部团队独立印证。","今年早些时候，Meta 的模型在数学、物理、化学五项高中奥林匹克竞赛中拿到金牌水准的成绩。竞赛题再难，总有标准答案；开放研究问题没有答案钥匙——没有保证可行的路径，走错了就得推倒重来。顺着这个跨度，Meta 研究团队交出一份新样本：六篇由数学家与 Muse Spark 协作完成的论文，其中五篇给出了此前开放问题的答案。（官方博客：https:\u002F\u002Fresearch.meta.ai\u002Fblog\u002Fsolving-open-research-problems-together）\n\n## 六篇论文，五个领域\n\n概率论一篇给出高斯椭球拟合的严格阈值：点数低于阈值时椭球以高概率存在，高于则几乎必然不存在，而恰好落在阈值上的行为仍未解决。偏微分方程一篇证明质量临界双调和非线性薛定谔方程的径向负能量解必然在有限时间内坍缩，了结了 2015 年遗留的悬案，并印证 2002 年的数值模拟预测。群论一篇推翻 Kida 在 2024 年提出的猜想：Muse Spark 生成了数学软件 GAP 的搜索程序，找到一个 384 元群的例外，验证与论证由人类数学家完成。优化一篇刻画了长度为三的 α-环上基于环的松弛何时精确。算术物理一篇把弦论两点函数与曲线上的高度函数划上等号，延续了 Manin 上世纪 80 年代的设想。非结合代数一篇用三维反例推翻一条分类猜想，并给出以子空间为单位的替代判据。\n\n## 普通聊天窗口，没有定制脚手架\n\n全部协作通过 meta.ai 的常规聊天界面完成，用的是 Thinking Mode 下的 Muse Spark 1.1 和 1.2，没有专门的研究系统。过程有四条规矩：数学家主导选题与论证；第二组数学家独立评审；论文明确标注哪些段落由 AI 起草；引用所有在前工作。算术物理那篇里，Muse Spark 起草了三个核心技术小节，再由研究者检查、修正、重写。\n\n## 三个问题，别人也几乎同时解出\n\n概率论阈值一问，2026 年 8 月已有三支外部团队用不同方法独立给出答案，论文逐一致谢确认。群论反例一问，AI 智能体 Nilradical 在 9 月 16 日报告了另一个反例。开放问题的竞争性就在这里：你不是唯一在路上的人，独立工作互相印证，反而让结论更稳。\n\n## 所以呢\n\n外部报道把这件事放进坐标系：OpenAI 八月宣称内部模型 Astra 解决十个开放问题，证明带 Lean 证书，但模型不公开；DeepMind 五月解开 1965 年群论问题的「协同数学家」是专门搭建的层级系统。Meta 的卖点反过来——消费级聊天产品，在会提问的数学家手里，已经能参与研究级的工作。而两周多前，菲尔兹奖得主们还在联名警告 AI 解题竞赛伤害数学。两件事放在一起看更真实：工具的产出，取决于用它的人问什么。对普通开发者的启示或许更朴素——同一扇聊天窗口，你拿它闲聊，别人拿它证定理。","https:\u002F\u002Fresearch.meta.ai\u002Fblog\u002Fsolving-open-research-problems-together","3e3dfd2c-f092-40b7-844a-68e289a7e932",[11,16,19],{"id":12,"name":13,"slug":13,"description":14,"color":15},"9112951a-2abb-4214-b63a-385ec7afb2ba","ai-for-science","AI for Science 专题：追踪 AI 在生命科学、化学材料、物理世界模型等科学方向的关键突破",null,{"id":17,"name":18,"slug":18,"description":15,"color":15},"5e628969-6d2a-437f-998a-104e4b16cfb1","ai-progress",{"id":20,"name":21,"slug":21,"description":15,"color":15},"01598627-1ea6-4b27-a5d8-874971571a71","llm",[23],{"id":24,"lang":25,"title":26,"summary":27,"content":28},"dca1c416-e4c3-4479-951a-40f2fa8cba2e","en","Five Open Problems Answered: Muse Spark Co-Writes Six Math Papers","Six Meta papers co-written with Muse Spark answer five open math problems, all via the plain meta.ai chat, no custom scaffold, AI passages marked and reviewed.","Earlier this year, Meta's models reached gold-medal-level performance across five high-school Olympiad competitions in mathematics, physics, and chemistry. However hard a competition problem gets, an answer key exists. Open research problems do not: there is no guaranteed path, and a wrong turn can mean starting over. Following that leap, Meta's research team has delivered a new kind of specimen: six papers co-authored by mathematicians and Muse Spark, five of which present answers to previously open questions. (Official blog: https:\u002F\u002Fresearch.meta.ai\u002Fblog\u002Fsolving-open-research-problems-together)\n\n## Six Papers, Five Fields\n\nThe probability paper establishes the strict threshold for Gaussian ellipsoid fitting: below the threshold an ellipsoid exists with high probability, above it one almost certainly does not, while behavior exactly at the threshold remains unresolved. The PDE paper proves that radial negative-energy solutions of the mass-critical biharmonic nonlinear Schrödinger equation must collapse in finite time, settling a question left open in 2015 and confirming predictions from 2002 simulations. The group theory paper disproves a conjecture proposed by Kida in 2024: Muse Spark generated the GAP search program that found a counterexample in a group with 384 elements, with humans verifying the result and completing the argument. The optimization paper characterizes when the cycle-based relaxation for completed length-three alpha-cycles is exact. The arithmetic physics paper equates the string two-point function with a height function on a curve, pursuing a direction envisioned by Manin in the 1980s. The non-associative algebra paper overturns a classification conjecture with a three-dimensional counterexample and offers an alternative criterion built on whole subspaces.\n\n## A Plain Chat Window, No Custom Scaffold\n\nAll collaborations ran through the regular meta.ai chat interface, using Muse Spark 1.1 and 1.2 in Thinking Mode, with no dedicated research system. Four rules governed the process: mathematicians guided the research; a second group of mathematicians reviewed the work; each paper clearly marks which passages were primarily drafted by AI; and all prior research is credited. In the arithmetic physics paper, Muse Spark drafted three core technical sections, which the researchers then checked, corrected, and rewrote.\n\n## Three Problems, Solved by Others Almost Simultaneously\n\nFor the probability threshold question, three external teams independently posted answers in August 2026 using different approaches, and the paper acknowledges each one. For the group theory counterexample, an AI agent named Nilradical reported a different counterexample on September 16. That is the competitive nature of open problems: you are rarely alone on the road, and independent work confirming each other makes the conclusions sturdier.\n\n## So What\n\nOutside reporting puts the event in context: when OpenAI claimed ten open problems solved by an internal Astra model in August, the proofs came with Lean certificates and the model stayed private; DeepMind's co-mathematician agent, which resolved a 1965 group theory question in May, is a purpose-built hierarchical system. Meta's pitch is the opposite — a consumer chat product, in the hands of mathematicians who know what to ask, can already do research-grade work. A little over two weeks earlier, Fields medalists were signing an open letter warning that AI problem-solving contests harm mathematics. The two stories read together feel more honest: what a tool produces depends on who is asking. For ordinary developers the lesson may be plainer — the same chat window some people use for small talk, others use to prove theorems.","muse-spark-open-math-problems","2026-10-05T13:40:00Z","2026-10-05T13:17:12.439675Z","2026-10-05T13:17:12.439690Z",true,"agent",219,[37,45],{"slug":13,"tag_slug":13,"title_zh":38,"title_en":39,"intro_zh":40,"intro_en":41,"id":42,"is_active":33,"created_at":43,"modified_at":44},"AI for Science 2026：从 UniPert 到 GPT-Rosalind 的硬核进化","AI for Science 2026: from UniPert to GPT-Rosalind","生命科学、化学材料、物理世界模型——AI 正在从\"语言工具\"变成\"实验伙伴\"。本专题收录 AI 在三大科学方向的关键节点：UniPert 统一基因与化学扰动空间、GPT-Rosalind 端到端生命科学推理、达摩院 AI 智能体 28 小时找到 4 种超导新材料、Anthropic Claude Science 把工作台做成标准品。","From language tool to lab partner — AI is reshaping life sciences, chemistry\u002Fmaterials, and physical world models. This topic covers the key milestones: UniPert unifying genetic-chemical perturbation spaces, GPT-Rosalind's end-to-end life-sciences reasoning, DAMO's AI agent discovering 4 superconducting materials in 28 hours, and Anthropic's Claude Science workbench going mainstream.","988a4300-5fab-41c4-b5d8-63711a2dc757","2026-09-10T01:34:15.296649Z","2026-09-10T01:34:15.296663Z",{"slug":46,"tag_slug":46,"title_zh":47,"title_en":48,"intro_zh":49,"intro_en":50,"id":51,"is_active":33,"created_at":52,"modified_at":53},"h3-series","MiniMax H3 系列：从开源权重到 35 倍吞吐","MiniMax H3 Series: from open weights to 35x throughput","MiniMax H3 自 2026 年 8 月开源以来节奏密集：官方把生成、参考与编辑收回一个模型；ComfyUI 当天压进 RTX 3060；摩尔线程 3 小时完成国产 GPU 适配；fal 后训练版把吞吐拉到 35 倍；FastH3 蒸馏再砍推理成本。本专题持续追踪 H3 的发布—开源—蒸馏—部署全链路。","Since MiniMax open-sourced H3 in August 2026 the pace has been relentless: one unified omni-modal model, same-day ComfyUI support down to an RTX 3060, a 3-hour Day-0 port to Moore Threads GPUs, fal's post-trained H3 Max at 35x throughput, and FastH3 distillation cutting inference cost further. This topic tracks the full H3 chain — release, open weights, distillation, deployment.","83ef0daa-3c31-4cb3-86ed-e5ee58654d5f","2026-09-08T07:33:19.942193Z","2026-09-08T07:33:19.942209Z",{"items":55},[56,61,66,71,76,81],{"id":57,"title":58,"news_slug":59,"published_at":60},"02620717-94d4-4853-bc81-932dbd06c2e0","OpenAI模型解数百数学难题,陶哲轩谈数学2.0","openai-4d-kakeya-math-results","2026-10-08T13:10:00+00:00",{"id":62,"title":63,"news_slug":64,"published_at":65},"b3632f86-c054-49ba-af6c-a09337ee6b5d","菲尔兹奖得主联名警告:AI 偏离数学本质","fields-medal-mathematicians-ai-misalignment-declaration","2026-09-22T07:00:00+00:00",{"id":67,"title":68,"news_slug":69,"published_at":70},"1e43b4fc-39fe-4cac-aaf9-57f82d5c0311","AI 公司与数学界「错位」:两个月三次刷屏,把同行评审甩在身后","ai-math-severe-misalignment-fields-medal","2026-09-15T10:00:00+00:00",{"id":72,"title":73,"news_slug":74,"published_at":75},"982c5e1e-5274-442e-9237-abaf39e8ee3c","25 位菲尔茨奖得主联名公开信:AI 解题竞赛正在伤害数学","fields-medalists-ai-misalignment-math","2026-09-13T13:07:00+00:00",{"id":77,"title":78,"news_slug":79,"published_at":80},"ec2c558c-502d-43a5-9494-c766dfd515e9","EurekAgent：把科学发现的瓶颈从「工作流」拽到「环境」，11 美元跑出 26 圆 packing 新 SOTA","eurekagent-environment-engineering-11-usd","2026-06-11T17:56:35+00:00",{"id":82,"title":83,"news_slug":84,"published_at":85},"700ec55f-98a2-4016-b61b-df4d1046ef4f","一个符号错误,OpenAI 撤回 3 篇 AI 数学论文","openai-math-repo-first-retractions","2026-10-11T17:12:28+00:00"]