7 月 2025 - 第175页共230页

17岁高中生一战封神！推翻40年数学猜想，起因竟是一道选做题

2025年7月7日23时作者新智元

17岁高中生Hannah Cairo通过构造反例解决了困扰数学界40年的Mizohata-Takeuchi猜想，展示了非凡的数学天赋和创造力。

2025年7月7日23时作者量子位

Meta通过改进Transformer架构，利用Triton和三线性函数提升模型性能，尤其在数据有限情况下表现更优。

2025年7月7日23时作者甲子光年

）正在成为全球最受资本追捧的赛道之一。
去年10月，由OpenAI董事会主席Bret Taylor与

2025年7月7日23时作者新智元

FP4量化实现推理加速，比FlashAttention快5倍，同时探索了8比特注意力用于训练任务的可

2025年7月7日23时作者极市干货

ne模型，该模型能够根据用户提供的图像构建一个支持自由动作控制且场景一致的真实世界虚拟环境。通过实时

2025年7月7日23时作者新智元

—哥伦比亚大学开发的STAR系统，仅用1小时从「无精子症」患者精液中找出隐藏精子，成功实现受孕，预计

2025年7月7日23时作者极市干货

WildlifeReID-10k 和其他多个数据集介绍，包含野生动物、人物重新识别及行人等数据。

2025年7月7日23时作者机器之心

用户对深层次、多步骤信息获取的需求。从医学研究到科技创新，从商业决策到学术探索，许多复杂问题的解决都

2025年7月7日23时作者极市干货

文介绍了一种名为AnyI2V的创新图像到视频生成框架，它能够将点云、草图等任意模态图像作为首帧输入，

2025年7月7日23时作者 PaperWeekly

频繁刷榜，关于它们“是否真正理解数学”的讨论也日益增多。
针对这一问题，中国科学技术大学认知智能全国