Компания Google DeepMind только что объявила интересную новость: их модели искусственного интеллекта AlphaProof и AlphaGeometry 2 достигли значительного прогресса в области математических рассуждений. Обе модели показали себя очень хорошо при решении сложных задач на Международной математической олимпиаде (IMO), достигнув стандарта «Серебряного уровня».

AlphaProof и AlphaGeometry 2 успешно решили четыре из шести вопросов IMO. Это достижение знаменует собой важный шаг вперед для искусственного интеллекта в решении сложных математических задач.

AlphaProof — это новая система математического рассуждения, основанная на обучении с подкреплением, а AlphaGeometry 2 — это обновленная версия решения геометрических задач. Эти разработки не только демонстрируют возможности ИИ в сложных рассуждениях, но и указывают на то, что ИИ может играть более важную роль в математике и научных исследованиях в будущем. #美国以太坊现货ETF开始交易 #比特币大会 #美国大选如何影响加密产业？ #AI模型 $BTC $ETH $SOL