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

这样的好处是，证明过程更加开放，让数学家们可以更好地分工合作，每个人处理任务图中自己负责的部分，通常是自己擅长解决的，而不需要理解整个证明。由于Lean可以自动检查，就能保证每个人的工作达到质量标准。另外，遇到修改，编译器会自动指出关联的地方，不需要像传统的方式重写整个证明，效率大大提高。最后一个例子就...

追问weekly | 过去一周,脑科学领域有哪些新发现?

此外,数字记录的多样性使其在分析行为趋势、保存集体记忆等方面具有潜力,如对阿尔茨海默病患者的记忆支持。然而,这种技术也带来了记忆操控的风险,例如通过深度伪造技术进行的记忆修改。因此,未来需要进一步研究技术对人类记忆的多重影响。研究发表在PsychologicalInquiry上。#认知科学#自传记忆#数字时代#人工智能...

【人工智能】较小的模型在高阶思维中是否经常遇到困难?

指令调优是一种常见的提高性能的策略,即对模型进行微调以遵循人类指令。然而,其有效性因模型大小而异。较小的模型表现出不一致的改进,表明它们的训练方法可能需要调整。当对小学数学问题进行微调时,较小的模型通常会过度拟合,变得过于专注于训练数据,而无法推广到新问题。总之,虽然较小的LLM可以以较低的成本提供...

看完香港大学马毅的采访才知道,原来人类离真正的人工智能,还是...

“GPT有很多知识,但知识不等于智能。”GPT表现出来的数学推理等能力在马毅看来本质还是依靠记忆、统计,就像一个接受填鸭式教育的高分低能的学生,它并不能学到因果推理、逻辑等能力。马毅理解的智能,是能自己纠正现存知识的不足并发现新知识的系统。为解释深度学习网络到底在做什么,马毅团队最近几年的重点工作是...

陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次...

新智元导读陶哲轩在最新的采访中,系统地谈到了AI可能会对数学领域产生的影响。他乐观地认为,使用Lean等工具「形式化」数学,在AI的辅助下实现规模化生产——一次证明数百或数千条定理。但他也审慎地预测,数学问题在短期内不会像国际象棋一样被「解决」,但有可能会提高人类科学家的洞察力。

万字长文专访贝索斯:大模型不是发明,将来人类会爱上人工智能

在几乎所有方面,今天几乎每个人的生活都比50年前或100年前好(www.e993.com)2024年11月15日。总的来说,我们的生活比我们的祖父母好,而他们的生活比他们的祖父母好。你可以看到全球文盲率、全球贫困率以及全球婴儿死亡率都在下降。无论你选择哪种衡量标准,我们都比过去过得更好。我们获得了抗生素和各种救命的医疗护理。但有一样东西正在倒退,那...

追问daily | 两性睡眠模式有何不同?力量训练能改善老人焦虑和抑郁...

对没有心理障碍的老年人,抗阻训练同样有效,而对于有心理障碍的个体,效果更为显著。研究还指出,为了改善心理健康,老年人理想的训练方式是每周进行三次举重训练,每次训练三组,六项练习足以,强调少量但高质量的训练原则。此外,使用训练机器和自由重量对心理健康的好处大于使用弹力带或徒手训练等。研究发表在Psychiatry...

100年前,你能考上北大么?_澎湃号·湃客_澎湃新闻-The Paper

比如1924年的作文题,要求是“文言白话随便,但是一定要加上标点符号”,到了后来,就要求必须是白话文了。比如1930年侵华战争前夕,题目里的含日本浓度渐高,但仍只是担忧和思考为主,等到1941年的题目(当时已是西南联大联合试题),已是满腔的家国情仇。而到了1948年建国前夕,已经有“什么是工资?工资应该怎样决定?”...

当大模型开始「考上」一本

先说好的方面,18篇文章中有11篇超过了48分,平均分在46.8分左右——非常高了。阅卷的夏老师曾多次参加全国高考语文阅卷,她对18篇作文的整体评价是——大模型的写作能力已经超过学生的平均水平。你可以在文章里看到清晰的论述框架和逻辑,并且行文流畅鲜有语病。

好书·新书 | 社会心理学:有关人类体验的科学

在《社会性动物》一书中,作者清晰地描绘出人类在社会心理领域的知识积累状况,以及如何运用这些知识来帮助解决当今世界困扰着我们的一些问题。《社会性动物》以一种简洁、明快、活泼的叙事风格为人们提供了有关社会心理学的简明扼要、令人愉悦的介绍,赢得了无数中文读者的喜爱;但许多读者仍然感到有必要对支撑《社会性动物...