注册并分享邀请链接,可获得视频播放与邀请奖励。

搜索结果 Mathematics
Mathematics 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 Mathematics 的推特
前有 PayPal 黑帮,后有 OpenAI 和 Anthropic 黑帮。 2026 年,已经有至少 37 人从 OpenAI 或 Anthropic 出走创业。 从 PayPal 出来的人做出了 Tesla、SpaceX、LinkedIn、YouTube、Yelp、Palantir 等顶尖公司,那这波 AI 创业潮会跑出哪些新星? 几个已经比较清晰的 AI 项目如下: - @CoreAutoAI(Core Automation):前 OpenAI 研究副总裁 Jerry Tworek(@MillionInt)创办。 一句话:做世界上最自动化的 AI 实验室,让 AI 自己研究 AI。 - @mirendil(Mirendil):前 Anthropic 研究员 Behnam Neyshabur(@bneyshabur)等人创办,刚拿 2 亿美元。一句话:做能自我加速的系统,把算力直接变成科学和工程突破。 - @river_ai_inc(River AI):前 xAI 联合创始人 Igor Babuschkin(@ibab)创办。 一句话:做真正属于个人、由个人塑造的 AI。 - @mathematics_inc(Math Inc):前 OpenAI 研究员 Jesse Han(@jessemhan)创办。 一句话:用 AI 自动把数学证明变成机器可验证的形式,目标是可验证的超级智能。 -@blackstar_cmptr(Blackstar):前 OpenAI Codex 工程师 Daniel Edrisian(@DanielEdrisian)创办。 一句话:在做新一代个人电脑,想从硬件和系统层面改变人和 AI 的交互。 另外,还有像 Resolution(提高对齐置信度)、Guidelight(推动安全前沿 AI 实践)、Syntony(安全与治理)、Rational 和 Zavify(agent 工作流自动化)、Planar(团队共享状态)、Embrasure(给 autonomous agents 重建数据仓库)等项目。 PayPal 黑帮,当年把支付、社交、航天、情报分析全包圆了,出来的公司现在随便拎一个都是几千亿美元级别, 这波人的方向明显更窄,基本都围着同一件事:让 AI 能自己干活,同时别失控。 人才密度这么高的地方,一旦开始往外扩散,下一波真正有意思的公司大概率就从这里长出来,可以密集关注它们的动向。
显示更多
0
119
211
46
转发到社区
Mathematica 15.0 出了,我又想起了高二时,我第一次接触 Mathematica 4.2 时的惊喜场景。 这版 Mathematica 能自动检测你机器上的 code agent,然后做相应的 MCP 配置安装。这个 MCP 支持直接生成 notebook。于是我让 Codex 分析了我一个 09 年写的 C++ 程序,把它转移成了 Mathematica 程序,完美。
显示更多
放恐怖片了:我在用一个视觉大模型解析纯英文书《how mathematicians think》,结果发现,解析过程中出现了这个:
恭喜王虹、邓煜获得菲尔兹奖!菲奖每四年一次,最多不超过4位得奖!华人这一次半壁江山,很值得骄傲!两个都是北大数院 2007 的,北大数院 NB! 2026 Fields Medals Awarded to Four of World’s Top Mathematicians via @SimonsFdn
显示更多
dontbesilent 理论体系清单 修辞学 — 亚里士多德 — 约公元前4世纪 — 《修辞学》《诗学》 社会心理学 — 古斯塔夫・勒庞 — 1895 — 《乌合之众》 心理学 — 西格蒙德・弗洛伊德 — 1901 — 《日常生活的精神病理学》 心理学 — 威廉・詹姆斯 — 1890 — 《心理学原理》 心理学 — 罗伯特・耶克斯、约翰・多德森 — 1908 — 〈耶克斯-多德森定律〉 管理学 — 弗雷德里克・泰勒 — 1911 — 《科学管理原理》 社会心理学 — 马克斯・韦特海默等 — 1912起 — 格式塔学派 传播学 — 沃尔特・李普曼 — 1922 — 《公众舆论》 格式塔心理学 — 布卢玛・蔡格尼克 — 1927 — 〈蔡格尼克效应〉 哲学 — 约翰・斯图亚特・密尔 — 1843 — 《逻辑体系》 教育学 — 约翰・杜威 — 1938 — 《经验与教育》 行为主义 — B・F・斯金纳 — 1938 — 操作性条件反射研究 心理学 — 亚伯拉罕・马斯洛 — 1943 — 〈A Theory of Human Motivation〉 通信理论 — 克劳德・香农 — 1948 — 〈A Mathematical Theory of Communication〉 控制论 — 诺伯特・维纳 — 1948 — 《控制论》 比较神话学 — 约瑟夫・坎贝尔 — 1949 — 《千面英雄》 计算机科学 — J・C・R・利克莱德 — 1960 — 〈Man-Computer Symbiosis〉 管理学 — 彼得・德鲁克 — 1954 — 《管理的实践》 决策理论 — 赫伯特・西蒙 — 1955/1957 — 有限理性理论 认知心理学 — 乔治・米勒 — 1956 — 〈The Magical Number Seven〉 社会学 — 欧文・戈夫曼 — 1956/1959 — 《日常生活中的自我呈现》 传播学 — 霍顿、沃尔 — 1956 — 〈Mass Communication and Para-Social Interaction〉 社会学 — 乔治・霍曼斯 — 1958 — 〈Social Behavior as Exchange〉 科学哲学 — 卡尔・波普尔 — 1934/英文版1959 — 《科学发现的逻辑》 心理学 — 丹尼尔・伯莱恩 — 1960 — 《Conflict, Arousal, and Curiosity》 传播学 — 马歇尔・麦克卢汉 — 1964 — 《理解媒介》 哲学/知识论 — 迈克尔・波兰尼 — 1966 — 《The Tacit Dimension》 社会学 — 欧文・戈夫曼 — 1967 — 《Interaction Ritual》 社会科学方法 — 格拉泽、斯特劳斯 — 1967 — 《The Discovery of Grounded Theory》 系统科学 — 路德维希・冯・贝塔朗菲 — 1968 — 《General System Theory》 社会心理学 — 罗伯特・扎荣茨 — 1968 — 单纯曝光效应 认知管理学 — 赫伯特・西蒙 — 1969 — 《The Sciences of the Artificial》 社会心理学 — 亨利・塔吉费尔、约翰・特纳 — 1970s/1979 — 社会认同理论 认知心理学 — 艾伦・派维奥 — 1971 — 《Imagery and Verbal Processes》 社会学 — 欧文・戈夫曼 — 1974 — 《Frame Analysis》 社会心理学 — 所罗门・阿希 — 1946 — 印象形成研究 心理学 — 阿尔伯特・班杜拉 — 1977 — 《Social Learning Theory》 社会学 — 阿莉・霍克希尔德 — 1983 — 《The Managed Heart》 营销学 — 艾・里斯、杰克・特劳特 — 1981 — 《定位》 行为经济学 — 丹尼尔・卡尼曼、阿莫斯・特沃斯基 — 1979 — 前景理论 认知心理学 — 杰罗姆・布鲁纳 — 1986 — 《Actual Minds, Possible Worlds》 心理学 — 安德斯・艾利克森 — 1993 — 刻意练习研究
显示更多
0
7
147
21
转发到社区