Исследователи продемонстрировали полностью автоматизированный цикл математических исследований, в котором искусственный интеллект самостоятельно формализовал и доказал новую теорему в области математической физики.
Исследователи продемонстрировали, как большие языковые модели, управляющие специализированным программным обеспечением, могут автоматизировать процесс создания новых белков с заданными свойствами.
![Теоретический нижний предел неопределенности, установленный для переменной [latex]Y[/latex], демонстрирует полное использование информации из доказательства [latex]E[/latex], сводя остаточную неопределенность к нулю, при этом сравнение эмпирической калибровки ошибок (ECE) показывает соответствие теоретическому пределу (0.158), а также зависимость калибровки от конфликта доказательств, описываемую уравнением [latex]y=0.248x+0.137[/latex].](https://arxiv.org/html/2603.15674v1/x4.png)
В статье представлена инновационная методология для построения точных и откалиброванных предсказаний на основе объединения различных источников информации.
Новый подход к взаимодействию человека и ИИ предлагает агентам не просто принимать решения за нас, а аргументированно отстаивать свою позицию в диалоге.
Новый подход позволяет более точно оценивать неопределенность и принимать обоснованные решения, учитывая различные источники информации.
Статья рассматривает растущую роль ИИ в создании графики для научных публикаций и анализирует возникающие этические и методологические вопросы.
Новая методика позволяет значительно повысить скорость обработки текста в больших языковых моделях за счет оптимизации процесса выбора наиболее вероятных вариантов.
Представлены системы MiroThinker-1.7 и MiroThinker-H1, демонстрирующие передовые возможности в решении комплексных задач благодаря улучшенному обучению и акценту на проверку каждого шага рассуждений.
В статье представлен практический подход к использованию возможностей искусственного интеллекта для расширения границ научных исследований в математике и машинном обучении.
Исследователи представили инновационную систему, использующую саморефлексию для улучшения обработки больших объемов информации языковыми моделями.