HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
121.
▲
Deconstructions of the Jigsaw Puzzles
mathstodon.xyz
discuss
a year ago
ColinWright
1 points
122.
▲
QwQ-32B significantly better at competition problems than previous open models
mathstodon.xyz
discuss
2 years ago
fspeech
1 points
123.
▲
Inverse Cube Force
mathstodon.xyz
discuss
2 years ago
perihelions
1 points
124.
▲
A new Lean formalization project for the Prime Number Theorem
mathstodon.xyz
discuss
2 years ago
spekcular
1 points
125.
▲
It's Hoàng Xuân Sính’s 90th birthday today
mathstodon.xyz
discuss
3 years ago
perihelions
1 points
126.
▲
I tried consulting GPT4 on a question I found on MathOverflow
mathstodon.xyz
discuss
3 years ago
perihelions
1 points
127.
▲
Carbonate based marine life survival against pH
mathstodon.xyz
discuss
3 years ago
MAXPOOL
1 points
128.
▲
Terrence Tao: Traditional Software vs. AI Tools
mathstodon.xyz
discuss
3 years ago
signa11
1 points
129.
▲
I ran infrastructure and security at Pebble Now that data is owned by Google
mathstodon.xyz
discuss
5 years ago
ColinWright
1 points
130.
▲
By unpopular demand, let's talk greenhouse gas accounting
mathstodon.xyz
discuss
8 years ago
jordigh
1 points