태그: math.HO

#math.HO

최신순 조회순 알파벳순

전체 Conference (266) Law Review (314) Academic (4957) Think Tank (60) News (791) Journal (139) Technology & AI (4) Business & Strategy (1) Finance & Economics (2) Legal & Compliance (1) Innovation & Research (0) International Affairs (2) Cybersecurity (2) Healthcare & Biotech (2)

Academic · 약 1분

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof

arXiv:2602.12463v1 Announce Type: cross Abstract: We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be …

James Owen Weatherall, Jesse Wolfson

조회수 24회 03.07

Academic · 약 1분

Discovering mathematical concepts through a multi-agent system

arXiv:2603.04528v1 Announce Type: new Abstract: Mathematical concepts emerge through an interplay of processes, including experimentation, efforts at proof, and counterexamples. In this paper, we present …

Daattavya Aggarwal, Oisin Kim, Carl Henrik Ek, Challenger Mishra

조회수 26회 03.07