近日，巴黎文理研究大学（Université PSL）应用数学博士生陈帆、王笑圳与意大利帕多瓦大学（Università degli Studi di Padova）Giovanni Conforti副教授、巴黎萨克雷大学（Université Évry Paris-Saclay）Zhenjie Ren教授合作完成的研究论文《Convergence of Sinkhorn's Algorithm ...

自由人生。

2022年7月，乌克兰数学家Maryna Viazovska荣获素有“数学界诺贝尔奖”之称的菲尔兹奖，这在当时成为重大新闻，她是该奖项设立86年来第二位获此殊荣的女性。近四年后，Viazovska再度引发关注。如今，通过人类与AI的协作，她的数学证明已被形式化验证，这标志着人工智能在辅助数学研究方面取得了飞速进展（https://www.math.inc/sphere-packing）。 并未参与 ...

数学通常被认为是衡量AI进步的理想领域。数学的逐步逻辑推理过程易于追踪，其确定的可自动验证答案排除了任何人为或主观因素。但AI系统正以如此快的速度改进，以至于数学基准测试都难以跟上。 早在2024年11月，非营利研究机构Epoch AI悄然发布了Frontier Math。作为一个标准化、严格的基准测试，Frontier Math旨在衡量最新AI工具的数学推理能力。 "这是一堆真正困难的数学问题， ...

2022 年 7 月，乌克兰数学家 Maryna Viazovska 荣获被广泛誉为「数学界诺贝尔奖」的菲尔兹奖，这在当时引起了巨大轰动，她是该奖项 86 年历史上第二位获此殊荣的女性。

温哥华 - BlockchainK2 Corp. (TSXV:BITK) (OTCQB:BIDCF) (FSE:KRL2)今日宣布与 Metalpha Technology Holding Limited (NASDAQ:MATH) 和Exos Financial LLC签署谅解备忘录,计划成立一家专注于为美国机构市场提供数字资产解决方案的合资企业。

香港、纽约、温哥华 - 根据新闻稿, Metalpha Technology Holding Limited (纳斯达克股票代码:MATH) 、Exos Financial LLC和 BlockchainK2 Corp. (多伦多创业板股票代码:BITK) 于周一签署了一份谅解备忘录,计划成立一家合资企业,专注于为美国机构客户提供数字资产服务。

AI是来自 Math 这家公司名为 Gauss 的AI。具体完成的工作，是形式化验证了让Maryna Viazovska在2022年获得数学最高奖——菲尔兹奖的成果：关于8维和24维最优球体堆积问题的定理。

这项由伊利诺伊大学香槟分校和清华大学联合开展的突破性研究发表于2024年12月2日的arXiv预印本平台（论文编号：arXiv:2412.01981v1），为人工智能领域带来了一个令人振奋的发现。有兴趣深入了解技术细节的读者可以通过该论文编号查询完整研究报告。 要理解这项研究的重要性，我们首先需要了解什么是奖励模型。就像老师批改学生作业一样，当AI系统完成一项任务时，需要有一个"评判员"来告诉它做 ...

其中，字节跳动旗下 Seed 2.0 的表现最为亮眼。该模型首次亮相 LMArena 榜单，便成功跻身综合排行榜全球前十，位列本次登榜国产模型首位。同期密集发布的多款国产旗舰大模型亦同步登榜，GLM-5、文心 5.0、Qwen 3.5、Kimi K2.5 分列榜单第 16 至 19 位。国产大模型第一梯队正以前所未有的集群姿态，集体冲击全球大模型技术最高水平。

阎焱表示，对于普通老百姓来讲，如果要去玩这个资本市场，一定要想明白一点，你能够赚到那些信息比你更流通、信息比你获取的量更大，而且手上的资金量比你更多的这些机构资本的钱，换句话说，你怎么能够赚取到包括那些智商比你高的人的东西？

在产品方面，杨植麟表示他们未来的重心依旧在Kimi上，且暂时也不会再拓展海外市场。不过，国内to C生产力工具迟迟难变现的现状，对月之暗面和杨植麟提出了巨大考验。 当下，技术的故事对于资本市场而言，似乎也不再性感。有投资人直言，“这年头、这个环境，以月之暗面现在的估值水平，发啥（模型）都没帮助。下一轮月之暗面的估值至少要40亿~50亿美元，谁还能投得起？” ...