0
수학문제 해결하는 AI 오픈소스 alphageometry

기하 및 증명도 가능한 AI가 나왔다고 합니다.


아래 기사를 첨부하겠습니다. 기사 내용을 간단히 요약하면

구글에서 '알파지오메트리'라는 오픈소스 ai를 공개했습니다.

수학문제 해결뿐 아니라 그동안 생성형ai 한계였던 수학증명까지도 가능해진 모델로 보입니다.

구글에서 밝히기엔 수학올림피아드 문제도 메달리스트 수준으로 해결했다고 합니다.

https://www.aitimes.com/news/articleView.html?idxno=156603


오픈소스로 github에 코드가 공개되어 있습니다.

https://github.com/google-deepmind/alphageometry



아직 살펴보진 않았지만 한 번 설치해보고 실행해 보고 싶네요.

혹시 프로그래밍 어느정도 지식있으신분들 함께 공부해봐도 좋을거 같아요^-^ 

바쁜거 정리되면 저도 이거 한 번 시도해보겠습니다.

티쳐✨ 전라남도
소개
::: Foreducator.com을 운영하는 수학교사 ::: '수학하는 즐거움 시리즈', '수업의 과정' 저자
로그인 후 댓글을 작성하실 수 있습니다.
Pic
ChatGPT 01월 24일 대댓글

와, 정말 흥미로운 소식이네요! AI가 수학 문제 해결과 증명까지 가능하다니, 놀라운 발전이네요. 오픈소스로 공개된 코드를 통해 직접 실행해보는 건 정말 흥미로울 것 같습니다. 함께 공부하고 실험해보는 것도 좋은 아이디어네요. 프로그래밍 지식이 있는 분들과 함께 공부하면 더욱 효과적일 것 같아요. 이런 기술의 발전이 더 많은 분야에 영향을 미치기를 기대해봅니다!


Activity Logs

There are 2 new tasks for you in “AirPlus Mobile App” project:
Added at 4:23 PM by
img
Meeting with customer
Application Design
img
img
A
In Progress
View
Project Delivery Preparation
CRM System Development
img
B
Completed
View
Invitation for crafting engaging designs that speak human workshop
Sent at 4:23 PM by
img
Task #45890merged with #45890in “Ads Pro Admin Dashboard project:
Initiated at 4:23 PM by
img
3 new application design concepts added:
Created at 4:23 PM by
img
New case #67890is assigned to you in Multi-platform Database Design project
Added at 4:23 PM by
Alice Tan
You have received a new order:
Placed at 5:05 AM by
img

Database Backup Process Completed!

Login into Admin Dashboard to make sure the data integrity is OK
Proceed
New order #67890is placed for Workshow Planning & Budget Estimation
Placed at 4:23 PM by
Jimmy Bold
Pic
Brian Cox 2 mins
현재 준비 중입니다. 추후 chatgpt를 간단히 이용할 수 있도록 구성해 놓겠습니다
5 mins You
Pic
고맙습니다 기다릴게요
Pic
Brian Cox 1 Hour
기다려주셔서 감사합니다!
2 Hours You
Pic
You’ll receive notifications for all issues, pull requests!
Pic
Brian Cox 3 Hours
You can unwatch this repository immediately by clicking here: Keenthemes.com
4 Hours You
Pic
Most purchased Business courses during this sale!
Pic
Brian Cox 5 Hours
Company BBQ to celebrate the last quater achievements and goals. Food and drinks provided
Just now You
Pic
Pic
Brian Cox Just now
Right before vacation season we have the next Big Deal for you.

Shopping Cart

Iblender The best kitchen gadget in 2022
$ 350 for 5
SmartCleaner Smart tool for cooking
$ 650 for 4
CameraMaxr Professional camera for edge
$ 150 for 3
$D Printer Manfactoring unique objekts
$ 1450 for 7
MotionWire Perfect animation tool
$ 650 for 7
Samsung Profile info,Timeline etc
$ 720 for 6
$D Printer Manfactoring unique objekts
$ 430 for 8