Buchumschlag

AI Mathematician: Towards Fully Automated Frontier Mathematical Research

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Yuanhang, Huang, Yanxing, Wang, Yanqiao, Li, Peng, Liu, Yang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory
von: Liu, Yuanhang, et al.
Veröffentlicht: (2025)

Mathematicians in the age of AI
von: Avigad, Jeremy
Veröffentlicht: (2026)

Pessimistic Verification for Open Ended Math Questions
von: Huang, Yanxing, et al.
Veröffentlicht: (2025)

FormaRL: Enhancing Autoformalization with no Labeled Data
von: Huang, Yanxing, et al.
Veröffentlicht: (2025)

Machine learning and information theory concepts towards an AI Mathematician
von: Bengio, Yoshua, et al.
Veröffentlicht: (2024)

AutoResearch AI: Towards AI-Powered Research Automation for Scientific Discovery
von: Tie, Guiyao, et al.
Veröffentlicht: (2026)

The \emph{Optimist}: Towards Fully Automated Graph Theory Research
von: Davila, Randy
Veröffentlicht: (2024)

LLM-BI: Towards Fully Automated Bayesian Inference with Large Language Models
von: Huang, Yongchao
Veröffentlicht: (2025)

Towards Fully Automated Decision-Making Systems for Greenhouse Control: Challenges and Opportunities
von: Liu, Yongshuai, et al.
Veröffentlicht: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
von: He, Linyang, et al.
Veröffentlicht: (2026)

Black-box Prompt Tuning with Subspace Learning
von: Zheng, Yuanhang, et al.
Veröffentlicht: (2023)

Budget-Constrained Tool Learning with Planning
von: Zheng, Yuanhang, et al.
Veröffentlicht: (2024)

The Mathematician's Assistant: Integrating AI into Research Practice
von: Henkel, Jonas
Veröffentlicht: (2025)

ResearcherBench: Evaluating Deep AI Research Systems on the Frontiers of Scientific Inquiry
von: Xu, Tianze, et al.
Veröffentlicht: (2025)

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

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
von: Glazer, Elliot, et al.
Veröffentlicht: (2024)

When Adaptive Rewards Hurt: Causal Probing and the Switching-Stability Dilemma in LLM-Guided LEO Satellite Scheduling
von: Li, Yuanhang
Veröffentlicht: (2026)

Automating Traffic Model Enhancement with AI Research Agent
von: Guo, Xusen, et al.
Veröffentlicht: (2024)

Constructing a Neuro-Symbolic Mathematician from First Principles
von: Xie, Keqin
Veröffentlicht: (2025)

Towards Execution-Grounded Automated AI Research
von: Si, Chenglei, et al.
Veröffentlicht: (2026)

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery
von: Lu, Chris, et al.
Veröffentlicht: (2024)

Towards Data Governance of Frontier AI Models
von: Hausenloy, Jason, et al.
Veröffentlicht: (2024)

EvolMathEval: Towards Evolvable Benchmarks for Mathematical Reasoning via Evolutionary Testing
von: Wang, Shengbo, et al.
Veröffentlicht: (2025)

Large Language Models for Mathematicians
von: Frieder, Simon, et al.
Veröffentlicht: (2023)

Comparative Analysis of Deep Learning Strategies for Hypertensive Retinopathy Detection from Fundus Images: From Scratch and Pre-trained Models
von: Zhu, Yanqiao
Veröffentlicht: (2025)

Vibe Reasoning: Eliciting Frontier AI Mathematical Capabilities -- A Case Study on IMO 2025 Problem 6
von: Wu, Jiaao, et al.
Veröffentlicht: (2025)

Dominion: A New Frontier for AI Research
von: Halawi, Danny, et al.
Veröffentlicht: (2024)

Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations
von: Li, Yuanhang
Veröffentlicht: (2026)

Agent-Environment Alignment via Automated Interface Generation
von: Liu, Kaiming, et al.
Veröffentlicht: (2025)

RAT: RunAnyThing via Fully Automated Environment Configuration
von: Huang, Renhong, et al.
Veröffentlicht: (2026)

Curie: Toward Rigorous and Automated Scientific Experimentation with AI Agents
von: Kon, Patrick Tser Jern, et al.
Veröffentlicht: (2025)

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
von: Liang, Shizhe, et al.
Veröffentlicht: (2024)

UMoE: Unifying Attention and FFN with Shared Experts
von: Yang, Yuanhang, et al.
Veröffentlicht: (2025)

Towards Safe Multilingual Frontier AI
von: Kanepajs, Artūrs, et al.
Veröffentlicht: (2024)

AIGS: Generating Science from AI-Powered Automated Falsification
von: Liu, Zijun, et al.
Veröffentlicht: (2024)

Towards Autonomous Mathematics Research
von: Feng, Tony, et al.
Veröffentlicht: (2026)

A 3DGS-Diffusion Self-Supervised Framework for Normal Estimation from a Single Image
von: Liang, Yanxing, et al.
Veröffentlicht: (2025)

Elementary School Students' and Teachers' Perceptions Towards Creative Mathematical Writing with Generative AI
von: Song, Yukyeong, et al.
Veröffentlicht: (2024)

K-Dense Analyst: Towards Fully Automated Scientific Analysis
von: Li, Orion, et al.
Veröffentlicht: (2025)