#group-theory

#group-theory와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.

Axiom Math가 Lean으로 CFSG 증명을 검증하며 기존 문헌의 34개 오류를 발견했다

·2·2026.10.28 09시

OpenAI의 수학 문제 해법 공개에 대해 기대와 우려가 교차하며 연구 생태계 혼란이 가중되고 있다.

·2·2026.10.09 00시

Meta가 수학자들과 협력해 Muse Spark로 미해결 문제 5개를 해결한 논문 6편을 공개했다.

·1·2026.10.02 09시

LLM이 수학적 난제를 해결하는 방식과 특히 반례를 찾는 데 강점이 있는지 분석한다.

·1·2026.08.13 09시

OpenAI의 미공개 모델 Astra가 미해결 수학 문제 10개에서 새 결과를 제시했다.

·2026.08.04 09시