「人类数学」共找到 1458 篇相关文章
硅谷60万亿终极野心！AI取代所有人类工作，拿走全部工资！
斯坦福访问学者文章指出，硅谷终极野心是用AI和机器人取代所有人工作并拿走工资。Mechanize公司公开喊出愿景，还算出潜在市场规模达60万亿美元。诸多科技大佬预言AI将大规模取代人类劳动，技术也在飞速进步。
Anthropic最新研究：Claude存在神秘J空间，与人类心智高度相似
Anthropic研究团队在Claude中发现类似人类大脑工作机制的J空间，它存在于模型神经激活中，能让模型默默思考。失去J空间Claude在多步骤推理任务表现变差，还可暴露模型意图，团队已创建演示工具JLens。
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
OpenAI大佬爆料：打字太慢拖后腿，人类竟成了AGI短板？
OpenAI Codex负责人Alexander Embiricos称人类打字速度拖慢AGI进展。奥特曼、Amodei、马斯克等大佬也有类似看法。Embiricos认为要让AI自主审查工作，2026年或迎AGI。
南大团队直击大模型高分神话：人类90分，最强模型仅49分
南京大学傅朝友团队在Google Gemini评测团队邀约下推出视频理解新基准Video - MME - v2。它有创新的分层能力体系与组级非线性评分，经超3300人工时标注。评测显示模型与人类差距大，还揭示传统Acc指标虚高、‘Thinking’并非总增益等现象。
人类画了100年的脑图，AI仅用几小时！还绘制出新脑区
加州大学旧金山分校团队提出CellTransformer算法，几小时完成5只小鼠脑图谱绘制，还绘出新脑区。该算法能准确对齐已知脑区，可扩展到多动物数据集，未来有望用于人类大脑及其他器官研究。
Ilya震撼发声！OpenAI前主管亲证：AGI已觉醒，人类还在装睡
OpenAI前主管、Anthropic联创Jack Clark称AI已「活」，人类却装作没看见。他既对AI技术进步乐观，也有深切恐惧，还指出AI虽未达自我改进阶段，但未来有独立思考设计自我的可能。
统计学最高荣誉回归华人！苏炜杰：AI需要一门新的数学语言
2026年，宾夕法尼亚大学苏炜杰教授获统计学界“诺贝尔奖”考普斯会长奖。他认为AI时代统计学会更重要，还提出AI需新数学语言，访谈中分享诸多对AI的思考与见解。
OpenAI「解决」10道数学难题？哈萨比斯直呼「尴尬」，LeCun辛辣点评
OpenAI研究员宣称GPT - 5「发现」10个悬赏数学难题的解决方法，舆论误以为是解题方法，后发现只是检索到已有文献，引发学界大佬群嘲和对AI夸大宣传的讨论。
AI数学能力暴涨100%，自进化直逼RL极限！CMU新作颠覆认知
数据枯竭成AI发展瓶颈，CMU团队提出SRT方法，让LLM自我进化，提升数学与推理能力，性能逼近传统强化学习。研究还分析其局限，提出缓解奖励作弊策略及应对模型崩溃的方法。