Science

AI, 수십 년 묵은 에르되시 수학 문제 해결…기계 추론의 새로운 이정표

10 views

AI, 수학자들을 당혹하게 한 에르되시 문제 해결

AI 시스템이 20세기 가장 다작의 수학자 중 한 명인 폴 에르되시가 처음 제기한 오랜 수학 문제를 성공적으로 해결했다. 조합적 수론과 관련된 이 문제는 수십 년 동안 인간 수학자들의 해결에 저항해 왔다. 연구자들은 AI가 인간의 접근 방식과 근본적으로 다른 새로운 패턴 인식 및 자동 추론 기술을 사용했으며, 이는 기계 지원 수학 발견의 새로운 길을 열었다고 말했다.

천문학자들, 기록적인 블랙홀 쌍 발견

별도의 발전에서 천문학자들은 잠재적으로 지금까지 관측된 것 중 가장 무거운 쌍성 블랙홀 시스템인 기록적인 블랙홀 쌍을 발견했을 수 있다. 여러 관측소의 데이터를 사용하여 이루어진 이 발견은 초대질량 블랙홀이 어떻게 형성되고 합쳐지는지에 대한 새로운 통찰을 제공할 수 있다. 확인된다면 이 쌍은 블랙홀 성장과 은하 진화에 대한 기존 모델에 도전할 것이다.

스페인에서 새로운 고대 곰-개 종 확인

스페인의 고생물학자들은 수백만 년 전 유럽을 배회했던 멸종된 육식 포유류 그룹인 고대 곰-개의 새로운 종을 확인했다. 팔루도키온 모야솔라이(Paludocyon moyasolai)라는 이름의 이 종은 스페인의 화석 퇴적층에서 발견되었으며, 현대 곰과 개 계통이 출현하기 전에 살았던 포유류 포식자의 다양성에 대한 이해를 높이고 있다.

Source: ScienceNews, Sci.News