Image de couverture de livre

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Yuanhang, Wang, Beichen, Li, Peng, Liu, Yang
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
par: Liu, Yuanhang, et autres
Publié: (2025)

Mathematicians in the age of AI
par: Avigad, Jeremy
Publié: (2026)

Machine learning and information theory concepts towards an AI Mathematician
par: Bengio, Yoshua, et autres
Publié: (2024)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
par: He, Linyang, et autres
Publié: (2026)

Black-box Prompt Tuning with Subspace Learning
par: Zheng, Yuanhang, et autres
Publié: (2023)

Constructing a Neuro-Symbolic Mathematician from First Principles
par: Xie, Keqin
Publié: (2025)

When Does Multimodal AI Help? Diagnostic Complementarity of Vision-Language Models and CNNs for Spectrum Management in Satellite-Terrestrial Networks
par: Li, Yuanhang
Publié: (2026)

When Adaptive Rewards Hurt: Causal Probing and the Switching-Stability Dilemma in LLM-Guided LEO Satellite Scheduling
par: Li, Yuanhang
Publié: (2026)

InqEduAgent: Adaptive AI Learning Partners with Gaussian Process Augmentation
par: Yang, Wen-Xi, et autres
Publié: (2025)

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
par: Przybocki, Benjamin, et autres
Publié: (2026)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
par: Feng, Tony, et autres
Publié: (2026)

Large Language Models for Mathematicians
par: Frieder, Simon, et autres
Publié: (2023)

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
par: Liang, Shizhe, et autres
Publié: (2024)

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities -- A Case Study on IMO 2025 Problem 6
par: Wu, Jiaao, et autres
Publié: (2025)

Budget-Constrained Tool Learning with Planning
par: Zheng, Yuanhang, et autres
Publié: (2024)

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
par: Xia, Hai, et autres
Publié: (2026)

Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations
par: Li, Yuanhang
Publié: (2026)

UMoE: Unifying Attention and FFN with Shared Experts
par: Yang, Yuanhang, et autres
Publié: (2025)

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
par: Glazer, Elliot, et autres
Publié: (2024)

Advanced Mathematics Learning Behavior Prediction and Academic Early Warning Model Based on Multimodal Data Analysis
par: Qiong, Liu, et autres
Publié: (2026)

Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
par: Guo, Dadi, et autres
Publié: (2025)

AI Meets Mathematics Education: A Case Study on Supporting an Instructor in a Large Mathematics Class with Context-Aware AI
par: Barghorn, Jérémy, et autres
Publié: (2026)

Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
par: Bäuerle, Alex, et autres
Publié: (2026)

The Mathematician's Assistant: Integrating AI into Research Practice
par: Henkel, Jonas
Publié: (2025)

The Lessons of Developing Process Reward Models in Mathematical Reasoning
par: Zhang, Zhenru, et autres
Publié: (2025)

ProcessBench: Identifying Process Errors in Mathematical Reasoning
par: Zheng, Chujie, et autres
Publié: (2024)

Imagine-then-Plan: Agent Learning from Adaptive Lookahead with World Models
par: Liu, Youwei, et autres
Publié: (2026)

SR-Scientist: Scientific Equation Discovery With Agentic AI
par: Xia, Shijie, et autres
Publié: (2025)

EvolMathEval: Towards Evolvable Benchmarks for Mathematical Reasoning via Evolutionary Testing
par: Wang, Shengbo, et autres
Publié: (2025)

InteractiveSurvey: An LLM-based Personalized and Interactive Survey Paper Generation System
par: Wen, Zhiyuan, et autres
Publié: (2025)

Challenging Mathematical Problems Designed to Evaluate Advanced AI Reasoning
par: Tan, Kwan Hong
Publié: (2025)

AI-accelerated Discovery of Altermagnetic Materials
par: Gao, Ze-Feng, et autres
Publié: (2023)

Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
par: Li, Xinhe, et autres
Publié: (2025)

Can Current Agents Close the Discovery-to-Application Gap? A Case Study in Minecraft
par: Ziheng, Zhou, et autres
Publié: (2026)

The Status Quo and Future of AI-TPACK for Mathematics Teacher Education Students: A Case Study in Chinese Universities
par: Xie, Meijuan, et autres
Publié: (2025)

TSPO: Breaking the Double Homogenization Dilemma in Multi-turn Search Policy Optimization
par: Ma, Shichao, et autres
Publié: (2026)

A Survey on Large Language Models for Mathematical Reasoning
par: Wang, Peng-Yuan, et autres
Publié: (2025)

Advancing Interactive Explainable AI via Belief Change Theory
par: Rago, Antonio, et autres
Publié: (2024)

Human-AI Co-Embodied Intelligence for Scientific Experimentation and Manufacturing
par: Lin, Xinyi, et autres
Publié: (2025)

CausaLab: A Scalable Environment for Interactive Causal Discovery Toward AI Scientists
par: Yang, Junlin, et autres
Publié: (2026)