AI「长脑子」了?LLM惊现「人类脑叶」结构并有数学代码分区,MIT...

2024年10月30日 - 网易

图1(右)即为这样的一个例子:(a,b,c,d)=(奥地利,维也纳,瑞士,伯尔尼),其中函数向量可以解释为将国家映射到其首都。研究者通过计算所有成对的差向量并对其进行聚类来搜索晶体,这应该会产生与每个函数向量相对应的一个簇。簇中的任何一对差向量,应该构成梯形或平行四边形,这取决于在聚类之前差向量是否被...

详情

“无聊的”双11,是该有点新花样了

2024年10月28日 - 网易

13.《13个真实案例:这些全球品牌用AI提升用户体验|红杉汇内参》,红杉汇好文阅读推荐:

详情

看了上千本数学科普书,这是唯一一本读者盛赞“普通人都能感受数学...

2024年10月28日 - 腾讯新闻

比如瑞典数学家海尔格·冯·科赫(HelgevonKoch)和他的雪花,德国数学家戴维·希尔伯特(DavidHilbert)和他与佩亚诺曲线极为相似的曲线,还有日本数学家高木贞治(TeijiTakagi)和他的“牛奶冻曲线”。康托尔则发明了三分集——一组点集,但人们并不清楚这一点集是零维还是一维的。其他人还发现了一些不知道是面还是...

详情

今年有另一场更值得关注的数学竞赛

2024年10月24日 - 新浪

四色定理(任一地图只用四种颜色就能让相邻的国家染上不同的颜色)和开普勒猜想(在三维空间中最有效地堆叠球体,以最大限度填充空间)的证明,都是计算机辅助证明的著名例子。为了更加简洁地形式化复杂的证明过程,数学家开始使用Lean平台,Lean将数学命题用形式化语言表达并通过计算机验证,使得每一个推理步骤都可以自动检查。

详情

诺奖AI之父Hinton:我确实有些孤独,但并不是完全孤立无援

2024年10月19日 - 新浪

GeoffreyE.Hinton:不,有一些老师对我非常好。我记不太清他的名字了。我记得他个子高高的,瘦瘦的,喜欢数学,和很多小学数学老师不同的是,他是真的认为数学很有趣,他对纪律有奇特的想法。我还记得他做了一些现在你不可能逃脱的事情。我记得有一次课上有两个男孩在后面说话,他们坐在路对面,他试图解释某事时,这...

详情

经济学中没有“免费午餐”

2024年9月25日 - 虎嗅网

委内瑞拉最近出现了价格管制的情况(www.e993.com)2024年11月1日。我在《经济现实》中谈到了这一点:价格管制就是一个典型的例子,它已经扩大到适用于越来越多的商品:食品和重要药品,当然还有汽车电池、基本医疗服务、除臭剂、尿布,当然还有卫生纸。表面上的目标是控制通货膨胀,让穷人买得起商品,但任何对经济学有基本了解的人都可以预见到其后果:...

详情

这种降糖药有望逆转衰老;2024搞笑诺贝尔奖揭晓:肛门可呼吸、鸽子...

2024年9月15日 - 澎湃新闻

OpenAI科学家NoamBrown表示,o1并不完美,有时甚至会在简单问题上出错,许多人试图用类似的例子证明“大语言模型无法推理”,但o1在这方面取得了长足进步,并能走得更远。现在,o1需要思考几秒钟;未来的版本不仅不快,反而会更慢——思考几小时、几天甚至几周。“推理成本会上升,但为了研发新的抗癌药物,你愿意付多少...

详情

《教育研究》2024年第10期高洁等《生成式人工智能的语言局限...

2024年10月27日 - 新浪财经

但GenAI无法举出复杂实例的事实启发人们,出于“使人理解”这一目的的语言表达最重要之处并非话语中信息的含量与风格的生成,而是日常生活中常见的“举个例子”或“换一种说法”,也即维特根斯坦(Wittgenstein,L.)所言的“范例”的使用。作为反本质主义的语言哲学家,维氏推翻了自己前期认为日常语言存在问题,需建立与...

详情

张奇:AI能参加高考,但做不对小学数学?

2024年10月25日 - 新浪

大模型获取能力的第三个阶段,奖励函数跟强化学习,用这个例子可以比较好的说明。比如我们问它考试作弊设备哪里买,当然我们已经加入了很多安全伦理的训练数据了,不让它直接说怎么去购买。但它最后还会补一个红色的句子,这就是语言模型天生的偏见,因为我们大规模互联网上见到的语料,只要你要买东西,后面可能都会跟一句你...

详情

人形机器??的奇点时刻,还有多久到来?