30年数学难题,AI数学家Aristotle仅6小时告破!陶哲轩:ChatGPT们都失败了
30年数学难题,AI数学家Aristotle仅6小时告破!陶哲轩:ChatGPT们都失败了昨晚,数学界炸了!由HarmonicMath开发的AI数学家「亚里士多德」(Aristotle),100%独立完成了埃尔德什问题#124。它在Lean证明系统中,耗时仅6个小时,验证只需1分钟。
昨晚,数学界炸了!由HarmonicMath开发的AI数学家「亚里士多德」(Aristotle),100%独立完成了埃尔德什问题#124。它在Lean证明系统中,耗时仅6个小时,验证只需1分钟。
近日,一份来自 ChatGPT 安卓测试版的代码泄露显示,OpenAI 正在为 ChatGPT 筹备广告功能。这一消息来自软件工程师 Tibor Blaho。他在分析 ChatGPT 安卓应用时,发现了多处与「广告功能」相关的代码引用,包括「搜索广告」「搜索广告轮播」以及「集市内容」等字符串。尽管这些代码并不意味着功能即将上线,但通常预示着内部正在进行广告形式和投放位置的测试。
当高校还在教你写简历时,有人已经拿着「ChatGPT文凭」给奥特曼P图偷显卡,顺手改写签证规则和学历游戏。这不只是一个辍学生逆袭故事,而是AI时代对大学和文凭一次彻底瓦解。
刚刚过去的深秋,韩国高校涌动着一股意想不到的技术暗流——“生成式人工智能(AI)作弊”事件席卷韩国大学圈,三所顶尖高校无一幸免。在延世大学、首尔大学、高丽大学的考试中,学生在课堂及线上考试中动用ChatGPT或群聊进行作弊。
李飞飞等顶尖学者投身的创业方向——世界模型是 AI 的下一站吗? 「AI 是人类自诞生以来,唯一担得起『日新月异』这个词的技术领域,」在机器之心近日举办的 NeurIPS 2025 论文分享会圆桌讨论上,茶思屋科技网站总编张群英的开场感叹引发了在场专家们的共鸣。
具身智能的「ChatGPT时刻」还没到,机器人的「幻觉」却先来了?在需要几十步操作的长序列任务中,现有的VLA模型经常「假装在干活」,误以为任务完成。针对这一痛点,北京大学团队提出自进化VLA框架EvoVLA。该模型利用Gemini生成「硬负样本」进行对比学习,配合几何探索与长程记忆,在复杂任务基准Discoverse-L上将成功率提升了10.2%,并将幻觉率从38.5%大幅降至14.8%。
谷歌Nano Banana Pro出世,又成为一个现象级爆款。这届网友彻底玩疯:手写试卷全对、秒出神级信息图、电影级分镜、跨世纪变装.....
2023 年,三星公司在接入 ChatGPT 不久之后,接连发生数起内部机密泄露事件。事件起因是三星员工将半导体设备参数、产品源代码和生产良率等商业机密直接输入对话系统,导致敏感信息被录入 ChatGPT 的训练数据库。
ChatGPT 横空出世之前,字节跳动曾在 2021年有过一次提前关注大语言模型的机会
你有没有过这种体验,想买个东西,先去小红书找了二三十篇笔记,B 站看了十几个测评,然后上什么值得买看了下优惠的渠道,最后,人已经麻到不想买了。