「人类数学」共找到 1460 篇相关文章
798现场|算法下的生活新常态
科技发展重塑社会关系,艺术为理解变化提供视角。798艺术区有两个展览,郭城的“虫”探讨技术理性双重性,蒲英玮的“红色计算机”探讨AI权力结构,展现科技与文明发展寓言。
很多AI人还在自嗨,外贸人已经用AI卷翻天了。
作者参加OKKI 2025新品发布会,深感外贸人用AI“卷翻天”。总结8条启示,如AI是队友、智能体达L3才成熟等,强调用人类思维理解行业,以AI解决问题,让技术转化为生意增量。
Knowledge还是Reasoning?具体分析LLM答案正确,不代表思考过程靠谱的问题
斯坦福/加州大学团队指出大模型答案正确不代表思考过程靠谱,传统评估忽略思考路径问题。团队提出双维度评估框架,透视模型思考过程,还测试发现不同领域决胜关键、最佳训练法不同,且框架正解锁新场景。
马斯克公布SpaceX火星新计划,迈向多行星生命之路!
马斯克在德州Starbase公布SpaceX火星最新计划,介绍从Starbase发展、星舰生产目标、技术突破到火星城市建设等多方面内容,展示人类成多行星物种的清晰路线,还提及火星时间表等信息。
DeepSeek-R1-0528 打榜、20+案例全面实测,全球网友狂点赞:实力堪称R2!
DeepSeek 上新的 DeepSeek - R1 - 0528 让 AI 圈沸腾。它在 LiveCodeBench 榜单飙升至第 4 位,性能逼近 OpenAI 的 o3 高级版。全球网友实测后好评如潮,其在多方面能力出色,且完全开源,引发对 R2 的期待。
陶哲轩痛诉很缺钱!科研经费暴跌67%十年最低,自掏腰包科研
美国国家科学基金会削减基础科学资助,数学科学领域资助大降。菲尔兹奖得主陶哲轩痛诉经费不足,自掏腰包做科研,还以“开普勒的橙子”说明基础研究虽短期无用,却能助力科技突破。
半世纪计算机理论僵局被打破!MIT科学家偶然发现:少量内存节省大量计算时间
MIT科学家威廉姆斯偶然发现,证明内存比大家认为的更强大,少量的内存与大量的时间一样有价值。他证明存在数学程序,可将算法转换成占用更少空间的形式,成果获好评。
陶哲轩DeepMind梦幻联动,最强通用科学Agent来了!一口气解决芯片设计、矩阵乘法和300年几何难题
谷歌DeepMind与陶哲轩等打造的AlphaEvolve是LLM驱动的进化编码Agent。它能优化计算生态、调度数据中心等,还解决了数学难题,已在谷歌内部使用,现开启早期邀测试用。
AI引爆全球失业潮,美国大学生毕业即失业!全球大厂联手裁员上万
新智元报道,AI已引爆全球失业潮,多邻国等全球五家大企业因AI裁员上万人,美国大学毕业生失业率高达5.8%。企业为削减成本用AI取代人力,这不仅是技术革新,更是职场地震,改变了劳动力市场。
AI 浏览器还没捂热,给 Agent 用的浏览器已经来了:Ego Lite
最近出现了给 Agent 用的浏览器 Ego Lite。与给人类用的 AI 浏览器不同,它让浏览器成为 Agent 工作台,有隔离任务空间,不打扰用户,解决了任务和执行环境间的距离问题。