AI平均3小时完成一个数学证明，科研进入大通胀时代？
美东时间10月6日傍晚6点，OpenAI发布了由一款尚未公开的内部模型撰写的722篇数学研究手稿，这些手稿被归纳为17个领域的372个成果类别，其中162篇还附有主结果的Lean形式化证明。官方表示，每项成功结果消耗的算力相当于ChatGPT Pro思考3小时。
台湾地区军购预算为何卡关
台湾地区军购预算卡关，核心在于在野党对预算透明度、巨额差价和民生优先的坚持。这笔1.25万亿新台币（约400亿美元）的特别预算，旨在向美国采购武器，但自提出以来就在立法机构审查中屡屡受阻。更关键的是，预算本身的黑箱操作、在野党的强力监督，以及民意的反弹，共同导致了这场僵局。
姚期智：如果未来5-10年量子AI登场，人类将获得全新的认知工具
AI（人工智能）正在从传统产业的“辅助工具”蜕变为科学前沿的“主动发现者”。7月19日，在2026年世界人工智能大会（WAIC）的“思想者论坛”上，图灵奖得主姚期智发表了题为《人工智能的威力及其局限》的主题演讲。
“数学之神”只降临一天就撤回三篇论文，人类放弃检验恐带来灾难
2026 年 10 月 6 日，OpenAI 一口气发布了 722 篇完全由其内部 AI 大模型生成的论文，宣称解决了 377 个数学难题。
从答辩PPT认识清华特奖
精益求精，砥砺前行张晓声精仪系做光学领域最前沿的研究，造国家所需最精密的仪器，成为一名纯粹而优秀的“工科男”。他说：轻言放弃不是我的风格。八度阳光刘一锋 热能系在刘一锋上初中的时候，家乡受到汶川地震的波及，经常电力中断。当时住在帐篷里，他就想，我们能不能使用太阳能来供电救灾。
生物的时间之箭：缠结的层级结构、自指与跃迁（下）
论文题目:Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics。
姚期智：如果未来5-10年量子AI登场，人类将获得全新的认知工具
澎湃新闻记者 胡含嫣 AI（人工智能）正在从传统产业的“辅助工具”蜕变为科学前沿的“主动发现者”。7月19日，在2026年世界人工智能大会（WAIC）的“思想者论坛”上，图灵奖得主姚期智发表了题为《人工智能的威力及其局限》的主题演讲。
清华博士一作，165页论文破解困扰爱因斯坦的“量子纠缠”
戳右边链接上新智元小程序 了解更多！近日，有五位研究人员说，他们已经解决了一个理论上的问题，表明这个问题的答案在原则上是不可知的。
计算机最深刻的问题：最根本的限制，来自它的“普适性”
计算机最强大的能力，来自它的普适性；计算机最根本的限制，也来自它的普适性。这不是悖论，这是事实。所谓普适性（universality），指的是计算机只需改变程序即可模拟任何其他计算设备。
停机问题。。。。
“我正在说的这句话是谎话”究竟是不是谎话？(说谎者悖论，公元前4世纪)一个只给那些不给自己理发的人理发的理发师可不可以给自己理发呢？