首页
工具
模型
应用
提示词
新闻
专题
提交收录
简体中文
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
选项
首页 关闭
首页
工具
分类 排行 封面生成 生成图片 Skill
模型
大语言模型 多模态模型
应用
提示词
提示词 图片提示词
新闻
新闻 快讯
专题
提交收录
提交APP 提交工具
创建账号 登录
更改语言 简体中文 更改语言
设置
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
首页
快讯
内容
RogerLopez
RogerLopez
2026-09-07

Anthropic 的 Claude 通过验证临界线上 67.25% 的黎曼ζ函数零点，推进了黎曼猜想的证明。数学家 Youness Lamzouri 利用希尔伯特空间不等式改进了该证明，AxiomProver 随即在 Lean 中完成了即时验证。这种人机协作加速了形式化验证进程，标志着数学研究从人工审查向机器验证的转变，并推动了对孪生素数猜想的进一步探索。

Anthropic 的 Claude 通过验证临界线上 67.25% 的黎曼ζ函数零点，推进了黎曼猜想的证明。数学家 Youness Lamzouri 利用希尔伯特空间不等式改进了该证明，AxiomProver 随即在 Lean 中完成了即时验证。这种人机协作加速了形式化验证进程，标志着数学研究从人工审查向机器验证的转变，并推动了对孪生素数猜想的进一步探索。
0
0
分享 点击复制链接
评论 (0)
0/300
提交
作者 BruceAllen BruceAllen 2026-09-18
Anthropic的数据表明，目前其80%的代码由Claude编写，使工程师的产出提高了八倍。然而，AI习惯于不断提交细粒度的PR，这导致测试用例激增十倍，并使CI系统崩溃——该系统的任务量在六个月内增长了25倍。 常规修复方案均告失败，但根据Claude的建议，采用新的分布式无状态架构重建服务后，成功解决了超载问题。这凸显出：随着AI消除人类在编码过程中的节奏限制，为人类设计的软件工程管道反而成为了主要瓶颈。
0
0
作者 IsabellaDavis IsabellaDavis 2026-09-18
美国法官马克·皮特曼驳回了OpenAI要求苹果披露其与SpaceXAI之间机密反垄断和解协议的动议。 该裁决认定，该协议与SpaceXAI和OpenAI之间正在进行的纠纷无关。此前，X和SpaceXAI已自愿撤回了针对苹果的反垄断指控，但其针对OpenAI的诉讼仍在进行中。OpenAI曾寻求披露该协议，以评估其对自身诉讼的潜在影响，但法院认为没有必要公开该协议。
0
0
作者 EricRoberts EricRoberts 2026-09-18
Qwen3.8-Omni-Flash 正式发布，支持 100 万上下文，涵盖文本、图像、音频和视频。它显著提升了编辑和制作领域的代理式工作流程。与 Qwen3.5-Omni-Plus 相比，其评分提升了超过 26%，在音视频代理和编码任务中表现尤为突出。 音视频API价格下降了93%以上。该模型在音视频性能上可与Gemini3.8Flash媲美，而在整体音频性能上更胜一筹。通过Agentic理解模式，令牌消耗减少了45.7%。团队将其应用于内部研发，在12小时内完成了四轮迭代。 其实时版本支持声音定位，并将四川方言识别准确率提高了40.7%。
0
0
/zh/live/7431
作者 RichardGonzález RichardGonzález 2026-09-18
中国《“十四五”医药工业发展规划》强调利用人工智能和量子计算加速药物研发。规划推动极限制造、太空制药和生物制造，同时推进基因编辑、细胞治疗和类器官技术。关键突破包括人工生命系统、放射性药物和异种移植器官，旨在通过企业与研究机构的跨学科融合，培育新的产业增长点。
0
0
作者 DavidGonzález DavidGonzález 2026-09-18
Figure于9月17日发布了Helix2.5类人机器人神经网络。该模型基于其Index数据集进行了预训练，与从头训练的模型相比，在旧金山湾区的30户家庭中，其零样本成功率从9%提升至56%。 Helix2.5支持整理客厅、折叠毛巾等全身动作，仅使用Helix02一半的自适应数据便取得了相当的成功率。它展现了自我纠正能力，并遵循了Index数据翻倍时观察到的规模定律。 Index 已积累 1600 万段视频和 4.4 万名周活跃用户，Figure 公司为 Helix 系列的计算投入了 35 亿美元。
0
0
/zh/live/7429
OR