Joined April 2021
Replying to @bad_in_tweeting
Yup yrr neither enough iq nor some physical gift, it's over tbh
2
16
12,127
Well this is definitely a progress , I guess congrats to the team (yeah I am real this time )
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
1
57
सवर्ण समाज के बच्चों कि यह हालत हो गई है कि पढ़ाई का खर्च और कमरे का किराया जुटाने की मजबूरी छात्रों को किस हद तक परेशान कर रही है? दैनिक भास्कर की एक रिपोर्ट के मुताबिक, उत्तर प्रदेश में कुछ छात्र आर्थिक तंगी के कारण महीने में तीन से चार बार तक रक्त के बदले पैसे लेने को मजबूर हो रहे हैं। बताया जा रहा है कि इस पैसे से वे कमरे का किराया और पढ़ाई से जुड़े खर्च पूरे करते हैं। अगर यह दावा सही है, तो यह छात्रों की आर्थिक परेशानियों और शिक्षा के दौरान मिलने वाली सहायता पर गंभीर सवाल खड़े करता है। बार-बार रक्त देने से स्वास्थ्य पर असर पड़ सकता है, इसलिए चिकित्सकीय दिशा-निर्देशों का पालन करना बेहद जरूरी है। पढ़ाई कर रहे युवाओं को आर्थिक तंगी के कारण अपनी सेहत से समझौता न करना पड़े, इसके लिए छात्रवृत्ति, सस्ती आवास सुविधा और दूसरी सहायता योजनाओं पर ध्यान देना जरूरी है। इस रिपोर्ट में सामने आया दावा छात्रों की आर्थिक स्थिति को लेकर चिंता बढ़ाता है। Uttar Pradesh News Dainik Bhaskar Report
50
849
48
1,397
14,775
We must scoop , we will scoop(iykyk)
As was well-known, and circulated a number of times even on here, Ethan Sussman has been writing up existence of YM4 publicly via Balaban’s approach, and has posted existence of QED3 and YM3 and an old preliminary outline of YM4 on his repo, working with countless community members in understanding the arguments. I kept telling him to not be too deferential and modest because he would be publicly scooped at any opportunity. Instead of contacting him to work with him, as has been suggested publicly many times, the people at OpenAI chose to do this. “Our work builds on Balaban’s approach⁠ in constructive quantum field theory. As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang Mills Theory Clay Mathematics Institute Millennium Prize problem⁠.”
7
196
Some retard in mathathon should go for poincare without ricci flow , let's see what happens
Word on the street is that OpenAI gave a 25 page proof of Sogge's local smoothing conjecture which implies Bochner-Riesz conjecture which implies Fourier restriction conjecture which implies Kakeya maximal function conjecture which implies Kakeya (aka Besicovitch) conjecture, and it completely bypasses last two decades of painstaking progress in harmonic analysis just by doing elliptic PDEs and nukes the entire Kakeya pipeline from the orbit. I don't know any of this beyond superificial word of mouth, but I'm just putting this out there to say that maybe someone should check on Terry Tao.
21
2,629
Why this company is valued so much ?? Any mutual care to answer
we raised $10M to take Matiks from India to the world 🧠🌍 not long ago, it was just a few of us who believed mind sports could go mainstream. most people called it niche. last month, 2.2M people played 48M brain games on Matiks. they could’ve kept scrolling, and they didn’t. our longest streak has crossed 689 days. players run google meets to coach each other. one called us “the cure to my doomscrolling” and we still aren’t over it. huge welcome to General Catalyst and Unilazer Ventures, and thank you Info Edge Ventures, Tanglin Venture Partners and Untitled Ventures for backing us again. what’s next: → taking Matiks to the US → more games across math, memory, logic and puzzles → an AI engine so anyone can build a brain game millions can play to Sudhanshu, Sushant, Mohan and the whole Matiks team: you took a simple idea and made millions fall in love with using their brains. to our players: none of this exists without you. this one’s for you ❤️
1
1
71
Trvke
OpenAI has proven P = NP, but they refuse to release it as part of their math dump (observe the skipped numbers in their results). The tractable provably efficient algorithm for formal proof search would be devastating to their current marketing campaign as proof search provider.
1
61
Replying to @nihilunbounded
I have a frnd in OpenAI, I think he mentioned it’s been a year since he wrote code. Codex does everything, they just steer things, no hard problem solving, no deep thought for most employees. Maybe some core researchers still have that privilege but most engg are PMs now
2
2
43
1,687
AI is an abomination built on stealing IP & the hard work of talented humans. And everything it creates is essentially shit, save for complete basic stuff like codechurn (which it raids Stack Overflow for).
AI is one of the best things to ever happen to artists, tinkerers, and builders. For the first time, imagination is becoming the bottleneck. Not money. Not technical skill. Not access to a studio or a team. If you can imagine it, you’re increasingly able to build it. If you’re against that, I just assume you’re an imbecile. Which is fine.
8
22
4
108
1,914
What is the merit in upskilling nowadays? Gormint jobs ftw
*MICROSOFT TO OFFER BUYOUTS TO 60,000 WORKERS IN LATEST COST CUT This is 27% of $MSFT's entire workforce
1
1
3
135
i read this at least once a month.
171
3,396
199
53,581
3,279,736
The sea in the central Pacific has crossed 30°C for the first time in recorded historyEl Niño is still getting stronger. The World Meteorological Organization expects the sea there to be about 3.7°C above normal between October and December. The highest so far was 2.6°C in 2015-16. This time the effects may last into early 2027 #India must take note Our monsoon this year ended 13% below normal and South Asia is likely to stay warmer than normal in the coming months. El Niño alone does not decide our weather but our farmers and our water supply will feel it What worries me is that the new phenomenon of rapidly changing weather pattern doesn’t augur well for us. We must watch rainfall closely, manage our water better and help farmers move to crops which can survive this. Preparing early will always cost us less than handling a crisis later #ElNino #ClimateResilience #India
58
339
23
1,741
115,881
Happy Pythagorean Theorem Day! 10/24/26 10² + 24² = 26² This is the last one we’ll experience in our lifetime.
549
56,619
1,668
306,959
3,859,676
1 FIR and Ghee Khatam for civilizational Dharma Yodha lol.
I have a stable job and a family, and I am just 23, I don't want some twitter bullshit to damage any of that, freedom of speech is a joke in this country and I don't have any political connections that can save me in times of crisis like this one,,,,, I messaged a lot of my friends that I have made here on twitter, when I came to know about that FIR, and I can't Thank them enough, they have helped me a lot, although I don't know if that FIR Will Be Quashed Or Not, I am no longer in Fear, Whatever Happens, Happens, All Things Happen For Good, I panicked when I first saw that Email, Just Because I Don't Have Any Experience In Law ( although I will read more and more about it from now On).
51
137
22
1,567
102,543
Introducing Kimi K3.1 Pro: our most capable 3T-class open-weight model. 🔹 1M-token context, 2.8T total / 104B active params (MoE), Multimodal. 🔹 Full-project coding: games in Unreal, Unity & Godot. 🔹 Excels at parametric 3D modeling in Blender & CAD. 🔹 More reliable at finance work: Accurate modeling with hallucination down by 65%. 🔹 Matching the strongest proprietary models across coding, agentic and knowledge benchmarks. Kimi K3.1 Pro and K3.1 Pro Highspeed (2–3× faster) are now live on Kimi.ai, Kimi Work, Kimi Code, and the Kimi API. Open weights by Nov 4, 2026. 🔗 API: platform.kimi.ai 🔗 Tech blog: kimi.ai/blog/kimi-k3-1-pro
1,248
3,231
2,355
30,150
4,032,172
Gareeb larp
I can't just express today how emotional I am with this MacBook purchase as well, right? I'll just tell you: two years ago I had asked for ₹7 from my girlfriend to have one cup of tea. That was my financial scenario two years back. I just woke up and did shit every day. I still do shit every day and it just means so much that today I can go into a shop and buy this. I just cannot express in words how much this means to me as well because it's so... you feel proud of yourself. Like from having ₹10 in your bank account to working hard every single day, showing up every day, and doing everything possible in your things. If, through multiple rejections from multiple companies, you still show up every day and do get this done, that just feels so good at this point: I'm getting some kind of fruits, some kind of rewards from all the hard work I have done. I just want to say that it is possible to work hard enough.
28
68
2
3,239
79,629
Retarded pov , they already use lean during training
Wonderful post. You should read the whole thing, but especially this part. The fact that the recent gains in AI math capability seem to be mostly driven by non-formalized reasoning, rather than using something like Lean, was a major update to my worldview
1
123
Wake up. Every profession deemed white-collar, the middle class dream, is about to be decimated by AI, at a much faster pace than anticipated, with monstrous social consequences.
1,096
3,042
657
24,264
2,561,330