iFeeling Daily
每天精选值得关注的 AI 动态
OpenAI对Navier-Stokes千禧年难题的证明
OpenAI展示AI系统解决Navier-Stokes千禧年难题的全过程：约1万个并发agent、88小时拿结果，并用17小时完成Lean验证。
形式化费马大定理
Claude在11天内自动形式化了费马大定理，产生1300万行Lean代码和29500个定理，实现了首次全自动计算机验证。
数学与理论计算机科学的十项突破
OpenAI 的下一版模型 Astra 攻克十项已停滞十年以上的数学难题，总推理成本仅约 2000 美元，并已全部形式化。