국제수학올림피아드에 도전한 AI, 결과는?
과학동아 2024년 03호
점을 근거로 ∆ABD, ∆ACD가 합동임을 보이면 ∠ABD=∠ACD임을 증명할 수 있다.수학 연구에 유용할까? 수학자들 생각은 수학자들은 알파지오메트리를 어떻게 생각할까. 2002년 IMO에 출전한 김린기 인하대 수학과 교수는 “과거부터 예상만 해 온 수학 증명이 가능한 AI가 실제로 탄생했다는 사실이 매우 ...
점을 근거로 ∆ABD, ∆ACD가 합동임을 보이면 ∠ABD=∠ACD임을 증명할 수 있다.수학 연구에 유용할까? 수학자들 생각은 수학자들은 알파지오메트리를 어떻게 생각할까. 2002년 IMO에 출전한 김린기 인하대 수학과 교수는 “과거부터 예상만 해 온 수학 증명이 가능한 AI가 실제로 탄생했다는 사실이 매우 ...
![[넥스트 AI] AI 애널리스트의 입사 조건은?](http://dl.dongascience.com/uploads/article/thumbnail/202403/pic__2024-03-01_at_8.04_.34_AM_.png)
어떻게 혁신성을 발휘하고 효율성을 강화할 수 있을까? 생성 AI가 실제 투자에서 유용한 도구가 될 수 있을지에 대한 연구는 여러 학계에서 활발하다. 한 예로 알레한드로 로페즈리라 미국 플로리다대 경영대 교수 등은 뉴욕증권거래소(NYSE) 등의 상장 기업 주식과 관련된 5만 여 개의 뉴스 제목을 ...
![[논문탐독] 유전질환 스위치 OFF 후성유전학](http://dl.dongascience.com/uploads/article/thumbnail/202403/pic__2024-03-01_at_10.11_.26_AM_.png)
이 논문의 저자인 데이비드 A. 싱클레어 미국 하버드대 의대 교수와 그 연구진은 시르투인원(Sirtuin1, SIRT1)이란 단백질을 연구합니다. 이들은 시르투인원의 활성을 높이면 세포의 노 ... 그리고 A-T처럼 어릴 때 발병하는 신경퇴행성 유전질환의 치료법을 모색하는 데도 유용하다고 봅니다 ...
논문을 보여줄 수 있는 DOI를 등록하면 논문을 찾을 때도, 논문을 널리 퍼뜨릴 때도 유용합니다. DOI, 이렇게 쓰세요!과학동아 본문에 들어간 DOI 활용법은 매우 간단합니다! 예를 들어, 이번 호 과학동아 ‘한 장의 과학’ 코너 중 “육식공룡 고르고사우루스의 마지막 식사는 공룡 뒷다리!” 기사에 ...
셈이다. 1은 왜 소수가 아닐까? 1을 빼는 첫 번째 이유는 1을 소수로 인정하면 수학에서 유용한 일부 정리가 틀린 것이 되면서 복잡해지기 때문이다. 만약 1을 소수로 받아들인다면, 숫자 10을 소인수분해한 결과가 2×5로 단 한 가지만 나오는 것이 아니라 1 × 2 × 5, 1² × 2 × 5, 1³ × 2 × 5, … 등 ...
발견하는 데 소요시간은 더 길어질 것이다. 그러므로 컴퓨터 성능을 시험하기에 매우 유용하다. 두 번째 이유도 무시할 수 없다. GIMPS가 비영리 단체지만, 소수 발견에 작고 큰 상금이 걸려 있다. 새로운 메르센 소수를 발견하면 무조건 3000달러(약 392만 원)를 받는다. 여기에 발견한 메르센 소수의 ...
![[빅테크 기업들의 생성 AI 독주 속 START-UP 살아남는 방법] 포자랩스](http://dl.dongascience.com/uploads/article/thumbnail/202402/pic__2024-02-01_at_12.18_.52_AM_.png)
데이터에는 악보 정보가 담겨 있어, 인간이 악기를 다루는 것 같은 연주법을 개발할 때도 유용하다. 포자랩스는 그동안 연구한 ‘미세한 셈여림 정보 생성 인공지능 기술(MID-FiLD･MIDI Dataset for Fine-level Dynamics)’을 AI 최고의 학회인 AAAI에 2023년 12월 발표했다. 이는 악기의 주법에 따라 변하는 음색과 ...
제르맹 소수는 무한할 거로 추측되나 아직 밝혀지지 않았다. 더 안전한 암호 만드는 데 유용 소피 제르맹 소수는 암호학과 관련이 있다. p와 2p + 1이 모두 소수이면 2p + 1을 보안 소수(안전 소수)라고 한다. 이런 소수를 이용해 암호 알고리듬을 만들면 해독이 더 어려워진다. 해독이 어려운 이유는 p ...
수 있고, 점들이 아무리 뿔뿔이 흩어져 있어도 직선 하나로 2등분할 수 있다. 이렇게 유용한 햄 샌드위치 정리에는 한 가지 맹점이 있다. n차원의 어떤 복잡한 경우에도 반드시 해가 있지만, 그 해를 햄 샌드위치 정리가 찾아주지 않는다는 것이다. 해를 구하는 것은 컴퓨터를 이용하거나 다른 ...
행복해하는 모습을 보면 큰 보람을 느끼지요. 지금도 다른 사람들이 굿노트를 유용하게 사용할 방법을 찾기 위해 노력하고 있습니다. 여러분도 누군가를 돕기 위한 일을 하다 보면 비로소 자기 스스로 만족할 수 있을 거예요 ...