lean
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| 구글 딥마인드의 AI 에이전트가 미해결된 에르되시 문제 9개를 해결하고, OEIS 추측 44개도 증명해냈으며 각 증명당 수백 달러의 비용이 발생했습니다. |
|
0 | 12 | 5월 25, 2026 |
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| 구글 딥마인드의 AI 에이전트가 미해결된 에르되시 문제 9개를 해결하고, OEIS 추측 44개도 증명해냈으며 각 증명당 수백 달러의 비용이 발생했습니다. |
|
0 | 12 | 5월 25, 2026 |