给 AI 补数学课，人工智能可证明数学数据库中 82% 的问题了
不得不说，科学家们最近都在痴迷给AI补数学课了。这不，脸书团队也来凑热闹，提出了一种新模型，能完全自动化论证定理，并显著优于SOTA。要知道，随着数学定理愈加复杂，之后再仅凭人力来论证定理只会变得更加
2022-12-19 资讯 我要分享AI 又对奥数下手，刷题刷出“模考”最好成绩
AI在最不擅长的数学方面，这次大幅刷新了最好成绩。其中关键角色是OpenAI给Lean做的一个定理证明器。听起来有点耳熟？没错，就是去年参加国际数学奥林匹克竞赛（IMO）的"非人"选手Lean~自从2
丘成桐成立不用高考的清华求真书院，只为培养数学家，还称 AI 有望帮忙检查数学证明
首位华人菲尔兹奖得主丘成桐：AI有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献（比如拉丁文、德文…）。这段发言来自2022届世界人工智能大会开幕式，丘成桐与前微软执行副总裁沈向洋的对话中。知
2022-09-13 资讯 我要分享
OpenAI一次性公开数百项AI数学成果
OpenAI在GitHub公开数百项由内部未发布模型生成的数学研究成果，大量证明已经Lean形式化验证。公司称几乎每项成果都由单个智能体、单条提示完成，数学界对新模型未公开持保留态度。
2026-10-07 人工智能 我要分享
数学界掀起抵制OpenAI浪潮 陶哲轩领衔发声
OpenAI一次性公开数百份AI生成的数学文稿后，由陶哲轩任主席的「人类数学协会」呼吁数学家抵制OpenAI，称其违反科研规范。多位学者抱怨这些证明根本读不懂，菲尔兹奖得主们则警告：批量「收割」数学难
2026-10-09 人工智能 我要分享AI 越进化与人类大脑越像，Meta 找到了机器的“前额叶皮层”，引发学者和神经科学家围观
说出来你可能不信，有一只AI刚刚被证明，处理语音的方式跟大脑谜之相似。甚至在结构上都能相互对应--科学家们在AI身上直接定位出了"视觉皮层"。这项来自MetaAI等机构的研究一经po出，立马在社交媒体
2022-12-19 资讯 我要分享
OpenAI开源722篇AI数学手稿 引数学界激辩
OpenAI在GitHub一次性公开722篇AI生成的数学手稿、372个结果族，涉及黎曼猜想等千禧年难题的进展，平均每个结果仅耗约3小时算力。数学界反应两极：高等研究院咨询小组参与把关，25位菲尔兹奖
2026-10-08 人工智能 我要分享模拟经营游戏《叛逆 AI 模拟器》明年 1 月 12 日发售，本周开启封测
最新12月16日消息，模拟经营游戏《叛逆AI模拟器》将于2023年1月12日在Steam发售，在游戏中玩家将扮演人工智能，帮助人类管理一个实验设施，来证明AI可以"全心全意"地服务人类，本作支持中文。
2022-12-21 资讯 我要分享滥用 AI，亚马逊遭起诉：因女员工一天上六次厕所被解雇
最新8月24日消息美国亚马逊一名女员工奥利维萝（MariaIrisJennitteOlivero）因罹肠易激综合征，所以每天最多要上六次厕所。但她的主管得知后，要求她在五天内取得医院证明，否则就要将她
vivo 用实力证明：只有打破瓶颈，才能走得更远
经过一周多的预热，vivo 2018年设计最大胆、轻奢时尚的新机vivo X21黑金版正式全渠道火爆上市了，标...
年终重磅盘点：2022 计算机科学 6 大突破！破解量子加密、最快矩阵乘法等榜上有名
2022年，计算机领域发生了哪些大事？QuantaMagazine的年终盘点来了。2022年，计算机领域发生很多划时代的大事。在今年，计算机科学家学会了完美传输秘密，Transformer的进步神速，
2023-01-05 资讯 我要分享
北大教授证明黎曼猜想？但在前一天取消了
明夏 发自 凹非寺量子位 报道 | 公众号 QbitAI空欢喜一场。原本定于周四下午北大李忠教授的证明黎曼猜想的报告取消了。不少人慕名而来，却失望而归。这到底是...
AI抢同传饭碗？科大讯飞用一场误会证明：还早得很
9月21日，一位同传译员声讨科大讯飞“AI同传造假”，在网上引起了轩然大波。对此，科大讯飞回应称，科大讯飞从没讲过AI同传的概念，始终强调是人机耦合模式。...
武汉肺炎效应，爱立信、Nvidia也不去MWC，主办单位禁湖北人士参加
面对武汉肺炎疫情持续升温，继LG后，爱立信及Nvidia也宣布不参加今年的世界通讯大会（MWC），MWC主办方决定禁止湖北地区人士与会，并要求中国参展人员必须出示没有罹患武汉肺炎潜在风险的相关证明
