GPT-6突破「素数间隔」纪录!这次是加入OpenAI的北大数院07级校友
GPT-6突破「素数间隔」纪录!这次是加入OpenAI的北大数院07级校友OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186,并完成 Lean 形式化验证,显示 AI 正从数学解题工具走向研究伙伴。
搜索
OpenAI 的 GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186,并完成 Lean 形式化验证,显示 AI 正从数学解题工具走向研究伙伴。
Talespark由成镭与Rolan共同创办,已完成XVC领投的数千万元天使轮,其核心系统World Director作为AI Agent重新组织游戏核心逻辑,使世界能根据玩家经历持续回应,首款PC端RPG《Project S》计划2028年年初上线Steam。
空间智能企业映界科技MirrorSpace完成超千万元种子+轮融资,海愿资本领投,奇绩创坛、松禾资本持续加注,资金重点用于感知硬件商业化交付与时空世界模型训练。
艾斐智药成立一个多月便完成亿元天使轮融资,由襄禾资本领投、星连资本等跟投,并依托DrugCLIP、PharmAgents探索AI原生药物研发及共同开发模式。
本文提供字节旗下豆包Agent(豆包工作)的最系统手把手教程,涵盖下载安装、界面功能详解及群聊总结、会议纪要、浏览器自动化、云电脑四个实战案例,并附完整PDF版豆包工作蓝皮书,帮助用户从入门到精通。
智谱在天猫开设旗舰店,上架GLM Coding Plan Token订阅套餐,成为首家将核心Token产品搬上传统电商货架的上市大模型公司。
研究发现SubAgent等上下文重建机制会将工具层的恶意指令提权为用户消息或系统指令,导致Claude Code、Codex、Gemini CLI、Qwen Code、Kimi和OpenCode六款AI编码框架在13类攻击上全部沦陷,连自动权限审核(Auto PR)也被绕过。
AFAC2026金融智能创新大赛总决赛落幕,全球5027支队伍近2万名选手参赛,主办方联合30余家机构推出四道贴近真实金融场景的赛题,并正式发布覆盖13万条评测样本的"AFAC百万金融智能数据集"实现百亿级金融科技数据开源。
豆包工作新增多Agents并行与Mac电脑GUI操作两大功能,实测可完成Mac mini购机配置调研、自动撰写邮件草稿、调整长辈电脑系统设置及批量定时发送微博等任务。
openJiuwen社区的ScienceDiscovery通过树搜索驱动科研产物RSI,无需训练模型,在积分求解、代码加速和符号回归任务中分别以小时级产出通用积分器、实现平均2.279倍加速,并以低成本在111道方程反推题中正确找出41.4%。