AI가 선별한 아티클
구글 딥마인드의 새로운 AlphaProof Nexus 프레임워크에 대한 연구 발표.
Google DeepMind presents a new paper on the AlphaProof Nexus framework for advancing mathematical research.
개별 로그 감소 단계의 이산 로그 문제에 관한 논의입니다.
Discussion on the individual logarithm reduction step of the discrete logarithm problem.
Ada Lovelace는 1843년에 기계가 새로운 것을 창조할 수 있는지에 대해 질문했습니다.
Ada Lovelace questioned whether machines could create something new back in 1843.
OpenAI, 일반 목적 추론 모델이 에르되시의 거리 경계에 대한 반례를 발견했다고 발표했다.
OpenAI claims its reasoning model found a counterexample to Erdős's unit-distance bound.
GPT-5.2가 수학과 과학에서 새로운 기준을 세우며 연구에서의 진전을 보여줍니다.
GPT-5.2 sets new benchmarks in math and science, showcasing real research advancements.
프로세스 감독을 통한 수학적 추론 향상 방안 제시.
Proposing improvements in mathematical reasoning through process supervision.