Show HN· athrowaway3z·· 24 天前AI 评分35
OpenAI 证明集缩减实验：GPT-6.1与Claude模型助力证明减少25%
Show HN: Reducing an OpenAI proof by 25% in a few hours
AI 导读
OpenAI的Unique Games证明通过GPT-6.1和Claude模型等AI工具，在几小时内减少了25%，从151,287行降至113,990行，证明了AI在优化数学证明方面的潜力。
来源：Show HN · github.com