▲
chabulhwi 2024-07-26 | parent | ★ favorite | on: 딥마인드의 AI, 국제 수학 올림피아드 문제 은메달 수준 해결(deepmind.google)

  • 일곱 번째 의견

    • 최고의 논의는 LeanProver의 Zulip 채팅에서 이루어짐

그 최고의 논의는 여기서 볼 수 있습니다. https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learnin…