数学论文预印本里，悄悄混进了8篇AI作品。 更准确地说，是8篇由同一个系统生成或形式化证明的数学论文。 初创公司Axiom Math宣布，他们从2026年2月开始提交的8篇论文，到5月28日有5篇已经通过同行评审，登上学术期刊。。 创始人洪乐潼，2001年出生于广州，本科MIT三年拿下数学与物理双学位，还拿过北美数学本科生的最高荣誉罗德奖学金和摩根奖。 在斯坦福读博期间，她退学了。 退学的理由正是 ...

2026年4月30日，习近平总书记在上海出席加强基础研究座谈会并发表重要讲话。他强调，基础研究是整个科学体系的源头，是所有技术问题的总机关。要以更大力度、更实举措加强基础研究，提升我国原始创新能力，进一步打牢科技强国建设根基。