孙宇晨奖确认 Neel Somani 获奖，其用 GPT 与 Lean 解出两道数学题

内容摘要

孙宇晨奖官方以 Winner Spotlight 确认 Neel Somani 为最新获奖人，其解出 JSP-000239、JSP-000327 两道数学题，官网已将其列为两题的 Mathematical Solver（2026）。解 JSP-000327 时他把题目贴进 GPT 5.2 Pro 并手动核对代数，投稿后当晚由数学家 Daniel Larsen 验证，再由 Harmonic 产品 Aristotle 产出 Lean 形式化；解 JSP-000239 后，他组建含 UC Berkeley、Northwestern、Rice 等校本科生的团队，用 LLM 系统扫描 Erdős 网站上的开放题。GitHub awards 仓库 #5051 显示两题候选 9 月 30 日进入公示、10 月 14 日移入获奖名册，但公示期届满仍不等于立即拨款，获奖人还须完成书面确认与请款流程。依官方 FAQ，单题奖金拆分为解题 70%、Lean 形式化 30%，以 USDT（TRC20）或 USDC（ERC20）发放，本次未披露两题对应的具体美元金额。