独家|对话硅谷独角兽Axiom:00后创始人,6个人、两周秘密实验,AI如何打破十年素数间隔问题纪录?
独家|对话硅谷独角兽Axiom:00后创始人,6个人、两周秘密实验,AI如何打破十年素数间隔问题纪录?硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中,借助AI驱动的搜索、计算与Lean形式化验证,将有界素数间隔上界从246进一步推进到212,打破了保持十余年的纪录。
搜索
硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中,借助AI驱动的搜索、计算与Lean形式化验证,将有界素数间隔上界从246进一步推进到212,打破了保持十余年的纪录。
OpenAI联合Anthropic、AWS、Google、Microsoft等超过100家科技、安全及金融机构发布网络防御公开信,警告未来数月AI驱动的网络攻击将更加复杂,可能严重威胁医院、水处理设施及互联网基础设施,Sam Altman发文强调这是AI网络防御的关键时刻,行动时间紧迫。
据The Information独家报道,Taylor目前所领导的AI客户支持初创公司Sierra正在收购Thumaty创办的三人初创公司Takeoff,后者开发的Agent能够长时间持续处理各类任务。Sierra高管希望,随着公司试图从AI驱动的客户支持Agent业务拓展到销售面向其他任务的Agent,Thumaty的专业经验将大有助益。
5周内,他们如何做出了一个新的Agent产品,并完成了组织改造?那时,他们的公司火星电波成立了1年2个月,刚刚拿到新一笔200万美元融资。ListenHub——他们打造的一款AI驱动的音频内容生成工具,已经做到300万美元ARR,并实现了月度盈亏平衡。且,ListenHub仍在增长。按照原来的计划,他们会继续把它推向海外,到年底,营收或许还能再翻几倍。
Pictoria是一家专注于AI虚拟主播(vTuber)运营的日本公司。近期,该公司完成了2.2亿日元的A轮融资,投资方包括B Dash Ventures和Adways Ventures,至此其累计融资金额已达4.8亿日元。
近日,字节跳动旗下AI制药子公司Anew Therapeutics在AAI 2026上进行了口头报告,披露旗下位于临床前阶段的IL-17小分子抑制剂。该药物是全球首个小分子全谱(AA/AF/FF)IL-17抑制剂,利用AI驱动的虚拟筛选技术,结合分子生成算法成功识别而来,有望转化为银屑病和其他自身免疫性疾病的最佳治疗方法。
香港城市大学朱宗龙、曾晓成团队给出了终极终结方案。他们首创了一套AI驱动的自动化闭环研发平台。从2万个分子的“大海捞针”,到自动化机械臂精准制备,再到AI实时反馈调整,全程无需人类插手。
谷歌Deep Think横扫亚欧多语种竞赛,AI科研工具的语言壁垒正在被拆掉,数学与科学发现进入AI驱动新时代。
所见即所学。
清华大学智能产业研究院(AIR)联合清华大学生命学院、清华大学化学系在Science上发表论文:《深度对比学习实现基因组级别药物虚拟筛选》。团队研发了一个AI驱动的超高通量药物虚拟筛选平台DrugCLIP。