AI의 수학 연구 변화 "I'll be talking more about how these tools are beginning to change research mathematics, which is different from competition mathematics."

2. AI 기구의 발전 "Instead of having three hours to solve a problem you take months and sometimes you don't solve the problem then you have to change the problem."

3. AI 수학 도구 소개 "Earlier today there was a talk by DeepMind on how there's a new product AlphaGeometry that can answer some IMO geometry questions now."

4. AI의 변혁적 영향 "It's all very exciting and it's beginning to be transformative, but on the other hand there's also a sense of continuity."

5. AI 지원 수학 컴퓨팅 "Unfortunately, once it gets beyond a certain size the complexity becomes exponential or even double exponential."

6. AI와 SAT Solvers "Another type of scientific computation that has become quite powerful is what are called SAT solvers - satisfiability solvers."

7. AI의 창의적 수학적 사용 "First of all, we're using machine learning neural networks to discover new connections and find out ways in which different types of mathematics are correlated in ways that you would not see as a human."

8. 대형 언어 모델의 능력 "For this particular question actually you give it the question and it actually gives a complete correct solution to this question."

9. AI의 한계와 진전 "So right now they can maybe - if a proof is one line or two lines long they can fill it in automatically."

10. 향후 AI 수학 해결 능력 예측 "There are people who are hoping that in a few years we can use computers to actually solve math problems directly. I think we are still a long way away from that

"저는 이러한 도구가 경쟁 수학과는 다른 연구 수학을 어떻게 변화시키기 시작했는지에 대해 더 많이 이야기할 것입니다."

문제를 푸는 데 3시간이 걸리는 대신 몇 달이 걸리고 때로는 문제를 풀지 못하면 문제를 바꿔야 합니다."

오늘 일찍 딥마인드에서 현재 IMO 기하학 문제에 답할 수 있는 신제품 AlphaGeometry에 대한 강연이 있었습니다."

"이 모든 것이 매우 흥미롭고 혁신적인 변화가 시작되고 있지만, 다른 한편으로는 연속성이라는 느낌도 있습니다."

"안타깝게도 일정 규모를 넘어서면 복잡성은 기하급수적이거나 심지어 두 배로 증가합니다."

AI와 SAT 솔버 "상당히 강력해진 또 다른 유형의 과학적 계산은 만족도 솔버라고 하는 SAT 솔버입니다.

 

" AI의 창의적 수학적 활용 "우선, 머신러닝 신경망을 사용하여 새로운 연관성을 발견하고 인간으로서는 볼 수 없는 방식으로 다양한 유형의 수학이 상호 연관되는 방식을 찾아내고 있습니다."

 

"이 특정 질문에 대해 실제로 질문을 주면 실제로 이 질문에 대한 완전한 정답을 제시합니다."

"그래서 지금은 증명이 한 줄 또는 두 줄이면 자동으로 채울 수 있습니다."

"몇 년 안에 컴퓨터를 사용하여 실제로 수학 문제를 직접 풀 수 있기를 바라는 사람들이 있습니다. 저는 아직 멀었다고 생각합니다.