5篇AI生成的数学论文被接收!00后创始人洪乐潼融资14个亿
5篇AI生成的数学论文被接收!00后创始人洪乐潼融资14个亿初创公司Axiom Math宣布,他们从2026年2月开始提交的8篇论文,到5月28日有5篇已经通过同行评审,登上学术期刊。创始人洪乐潼,2001年出生于广州,本科MIT三年拿下数学与物理双学位,还拿过北美数学本科生的最高荣誉罗德奖学金和摩根奖。
搜索
初创公司Axiom Math宣布,他们从2026年2月开始提交的8篇论文,到5月28日有5篇已经通过同行评审,登上学术期刊。创始人洪乐潼,2001年出生于广州,本科MIT三年拿下数学与物理双学位,还拿过北美数学本科生的最高荣誉罗德奖学金和摩根奖。
Devin 证明,独立 Vibe Coding 平台依然有机会。
腾讯设计领域的WorkBuddy来了。
德适AI获三类医疗器械证,医疗AI产业化迎来新突破。
过去几年,大模型竞争主要发生在 AI 公司之间。但随着 AI 开始从数字世界进入真实设备与物理世界,竞争逻辑正在发生变化。
最近,谷歌的日子不太好过。
我们公司之前一直有件让我头疼的事,就是怎么让Skills在团队里流通起来。直到昨天,发现,阿里的Accio Work,居然把这个功能给做了。。。 关于Accio Work,我上个月写了一篇用他复刻多Agent协同的文章
今年以来,在线策略蒸馏 OPD(On-Policy Distillation)已经逐渐成为大厂 LLM 后训练中的重要组件,例如 DeepSeek-V4,GLM5 就使用了多教师 OPD 来整合不同领域专家模型的能力,相比混合奖励强化学习收敛更快、效果更好。
很多人以为,AI视频的终点是“生成一段让人惊艳的画面”。
今年的「全球无障碍宣传日」,苹果照例抢先官宣了将在下随 iOS 27 一同登场的新一批无障碍功能。相比过去几年,今年这批功能最明显的变化,是 AI 的存在感突然变强了, 并且一些新的特性,或许也直接提前「剧透」了 iOS 27 的系统级 AI 能力。