AI 수학 문제 해결
30시간 쉬지 않고 코딩하는 AI 나왔다… 앤트로픽, 클로드 소넷 4.5 출시
앤트로픽(Anthropic)이 현존하는 코딩 모델 중 가장 강력한 성능을 자랑하는 ‘클로드 소넷 4.5(Claude Sonnet 4.5)’를 29일(현지 시각) 공개했다. 앤트로픽에 따르면 클로드 소넷 4.5는 실제 소프트웨어…
제미나이 2.5 딥씽크, 세계 최고 프로그래밍 대회서 금메달… “대학팀도 풀지 못한 문제 해결”
구글의 생성형 AI 모델 제미나이(Gemini) 2.5 딥씽크(Deep Think)가 2025년 국제대학생프로그래밍경진대회(ICPC) 세계 결선에서 금메달급 성과를 거뒀다고 구글이 17일(현지 시각) 발표했다. 구글 키워드(The Keyword) 블로그에 따르면,…
“수학 문제 절대 틀리지 않는다”… 로빈후드 CEO, 수학 전용 AI 챗봇 앱 ‘아리스토텔레스’ 공개
로빈후드(Robinhood) CEO 블라드 테네프(Vlad Tenev)가 공동 창립한 AI 스타트업 하모닉(Harmonic)이 iOS와 안드로이드용 챗봇 앱의 베타 버전을 출시한다고 28일(현지 시간) 발표했다. 사용자들은 이 앱을 통해…
금메달리스트급 AI 등장… 구글 ‘알파지오메트리2’ IMO 기하학 문제 84% 해결
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 IMO 기하학 문제 해결률 84% 달성, 인간 금메달리스트 수준 입증 구글 딥마인드가 발표한 연구 논문에 따르면,…
[AI 매터스 뉴스레터 #22] GPT o1 활용 가이드: 10가지 놀라운 사례
안녕하세요, AI Matters입니다. AI Matters는 생성형 AI 분야에서 수없이 쏟아져 나오는 소식 중에서 꼭 참고해야 할 내용을 엄선해 매일 기사를 발행하고 있습니다. 그 가운데 놓치지 말아야 할…
애플, “대규모 언어 모델의 수학적 추론 능력에 한계 있어”
대규모 언어 모델(LLM)의 수학적 추론 능력에 상당한 한계가 있다는 연구 결과가 나왔다. 애플 연구팀이 발표한 ‘GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large…
