Mehtaab Sawhney (@mehtaab_sawhney)
Vishesh Jain과 Clayton Mizgerd가 GPT-5.4 Pro를 사용해 마코프 체인 이론의 중요한 결과를 증명한 최근 논문이 소개되었습니다. 최신 AI 모델이 수학/이론 연구에 활용된 사례로, 고난도 정리 증명에 생성형 모델이 쓰였다는 점이 주목됩니다.

Mehtaab Sawhney (@mehtaab_sawhney) on X
In a beautiful recent paper, Vishesh Jain and Clayton Mizgerd used GPT-5.4 Pro to prove a striking result in the theory of Markov chains: https://t.co/KU8nGjHiB7 They study the adjacent transposition Markov chain on the symmetric group. A conjecture of Fill, recently settled by
