이 기사는 기계로 번역되었습니다
원문 표시
GPT 5.2 Pro나 Deep Research가 풀 수 있는 에르되시 문제가 더 있는지 궁금하실 수도 있습니다.
저는 뛰어난 학부생들로 구성된 팀을 꾸려 모든 미해결 에르되시 문제에 대한 ChatGPT 응답 데이터셋을 구축하고 그 결과를 검증했습니다.
그들이 발견한 내용은 다음과 같습니다(모두 오픈 소스이며, 저장소는 아래에 있습니다).

Neel Somani
@neelsomani
01-11
Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.
The proof was generated by GPT 5.2 Pro and formalized with Harmonic.
Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:


Twitter에서
면책조항: 상기 내용은 작자의 개인적인 의견입니다. 따라서 이는 Followin의 입장과 무관하며 Followin과 관련된 어떠한 투자 제안도 구성하지 않습니다.
라이크
즐겨찾기에 추가
코멘트
공유




