Event ·Multi-source

Laravel 禁止 issue 只用 PR，Anthropic 用 Claude 完成史上最长数学程序

Laravel 宣布禁止提交 issue，只能提交 PR，以减少垃圾问题并让维护者更高效。Anthropic 的 Claude AI 用 11 天完成费马大定理的机器证明，生成 1300 万行代码，证明了 AI 在数学证明中的潜力。

Current read

Laravel 这个开源框架的做法很聪明，减少问题报告，让贡献者更用心。Anthropic 的 Claude AI 展示了 AI 在数学证明上的惊人能力，值得看看。

11 sources37° AI heatLast updated 2026/9/11 00:11:50

Evidence

11 sources

Primary source阮一峰的网络日志

2026/9/11 00:11:50View source

Related source 1arXiv: Anthropic

2026/9/9 01:56:17View source

Related source 2IT之家

2026/9/9 09:34:47View source

Related source 3小互

2026/9/9 12:33:38View source

Related source 4Claude

2026/9/9 16:09:13View source

Related source 5Anthropic

2026/9/9 19:02:43View source

Related source 6The Rundown AI

2026/9/9 19:37:02View source

Related source 7lmarena.ai

2026/9/9 20:02:39View source

Related source 8Tech in Asia

2026/9/10 04:42:14View source

Related source 9Decoder

2026/9/10 16:33:44View source

Related source 10shao__meng

2026/9/10 23:18:53View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story