참고X
Google, Gemini 3.7 Flash로 난제 7개 해결 및 RISC-V 시뮬레이터 구축
AI 모델이 복잡한 수학 증명과 하드웨어 검증 영역까지 침범. 단순 텍스트 생성을 넘어 엔지니어링 도구로서의 AI 활용 가능성 확인.
요약
구글이 'Antigravity'와 Gemini 3.7 Flash를 결합하여 FOCS 및 JMLR과 같은 저명한 학술지에 등재된 7가지 난제를 해결했다고 발표했습니다. 이 과정에서 40페이지가 넘는 Knuth’s Cycles Conjecture 증명이 Lean 언어로 검증되었습니다. 또한, 해당 시스템을 활용해 xv6 운영체제를 셸까지 부팅할 수 있는 out-of-order RISC-V CPU 시뮬레이터를 처음부터 완전히 구축했습니다. 이번 성과는 AI가 복잡한 수학적 난제 해결과 하드웨어 설계 분야에서 실질적인 기여를 할 수 있음을 보여줍니다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @ai_for_success: Surprising nobody is talking about this yet. Google posted yesterday that Antigravity + Gemini 3.7 Flash solved 7 open problems ac
원문 보기 ↗