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

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

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

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

如果说人工智能是当今科技发展的明珠，那么大语言模型就是这颗明珠上最璀璨的光芒。来自阿里巴巴集团的研究团队最近发布了他们的最新成果——通义千问2.5技术报告，这项研究于2025年1月发表，论文编号为arXiv:2412.15115v2。这不仅仅是一次技术升级，更像是给AI助手来了一次全身改造手术。

据飞说智行近日获悉，大晓机器人联合上海交通大学、南洋理工大学、香港中文大学、香港大学等研究机构共同推出以空间智能为底层框架、跨不同具身本体的通用基础模型“ACE-Brain-0”， 正式面向全行业开源。ACE-Brain-0 ...

2025年第四季度每股收益为0.35美元，超出预期的0.17美元达106%；尽管Bitcoin下跌23%，营收仍同比增长110%至2800万美元。 调整后EBITDA同比增长802%至1840万美元；2025全年营收达8000万美元，较上年增长68%。 盘前交易中，该股上涨1.48%至8.91美元；分析师设定的目标价为14-18.50美元，意味着显著的上涨潜力。 2026财年指引预测第一季度每股收 ...

Phi-4只有140亿个参数，相当于其他顶级AI模型体积的十分之一左右，但在数学推理、科学问答和编程能力方面，它却能与那些庞大的竞争对手平分秋色，甚至在某些领域表现更出色。这就像一位身材娇小但技艺精湛的工匠，能够完成许多体格健壮但技能平庸的工人无法胜 ...

在人工智能革命的浪潮中，财富神话正以惊人的速度被改写。最新公布的全球财富榜单显示，31岁的Lucy Guo凭借90亿元身家成为全球最年轻的90后白手起家女首富，这位华裔创业者的故事折射出AI时代特有的造富逻辑——十年前与合伙人创立Scale AI时，她或许未曾想到，手中6%的原始股权会在九年间膨胀至12.5亿美元估值。

过去三十年，中国一代女企业家在传统产业中完成了最初的财富积累。而今，权杖已悄然交接。新一代女性创业者拥有顶尖学术背景，熟悉前沿科学。她们手握代码与算力，杀入全球最核心的硬科技斗场。 AI造富惊人。 最新发布的《胡润全球富豪榜》中，Lucy Guo以90亿元身家跻身榜单，成为全球90后白手起家女首富。 她的故事正是这一轮AI浪潮的缩影：10年前联合创办Scale AI，即便早已离职，但凭借手中疯狂膨 ...

领英近期发布的一份报告显示，沟通能力、领导力及人员管理能力已经成为当今劳动力市场最抢手的技能。

美国与以色列对伊朗发动大规模军事行动，致使伊朗最高领袖阿亚图拉·阿里·哈梅内伊身亡，全球石油市场随即受到冲击。布伦特原油价格上周末飙升8%，至每桶约78美元，这反映出市场对中东能源供应的高度担忧。不过，高盛集团（Goldman Sachs）的石油研究主管达安·斯特鲁伊文表示，当前油价恰恰揭示了交易员的押注：能源供应中断将持续约四周。