Epoch AI的FrontierMath Erdős基准要求AI模型用Lean语言证明或证伪68道重要的埃尔德什未解难题,每题预算固定为300美元和72小时。2026年8月测试的五个前沿模型中,只有一个给出了经验证的解答: GPT-6 Astra解出68题中的2题(3%)——其余所有受测模型均得分0%

情报俱乐部

这样的事实，一周六天送达

The Daily Receipts 工作日送达，The Weekly Brief 周六送达——邮件每日6条有出处的事实，比免费网站多2条，每一条都可追溯到原始出处。免费。

永久免费。每周六封邮件——The Daily Receipts 工作日送达，The Weekly Brief 周六送达——两者都可一键单独退订。