라떼군 이야기

Formal-Verification

• GPT-5.2, 인류가 몰랐던 물리학 법칙을 스스로 증명하다: AI 과학자의 탄생인가?

  ---

  2026-02-13
• AI가 에르되시 문제 #728을 (거의) 자율적으로 해결했습니다

  ---

  2026-01-10