Tudor Achim
@tachim.bsky.social
📤 27
📥 13
📝 5
CEO @ Harmonic
@harmonic.fun
in the economist!
www.economist.com/science-and-...
loading . . .
AI models could offer mathematicians a common language
Some hope they will simplify the process of verifying proofs
https://www.economist.com/science-and-technology/2026/04/08/ai-models-could-offer-mathematicians-a-common-language?giftId=NmIwOWVhODUtNDdiMS00NzI2LTgwMjctYWRiNDVkMWNkZWY1&utm_campaign=gifted_article
about 2 months ago
0
1
2
Been having a lot of fun with coding / math questions in the new webapp!
add a skeleton here at some point
4 months ago
0
1
0
How is it 2025 and I still can’t reliably dictate a 3 sentence text on the latest iOS?
11 months ago
0
0
0
reposted by
Tudor Achim
ósanwë 🦭
about 1 year ago
anti-establishment crusader uhhh Susan Rice
52
4372
1152
Insane launch
add a skeleton here at some point
over 1 year ago
0
1
0
you reached the end!!
feeds!
log in