Sheff C (𝔦, 𝔦)
2.6K posts

Sheff C (𝔦, 𝔦)
@SheffC_eth
Trench Scientist




Announcement time! Dr. Karim Tamssaouet joins @tigfoundation as Challenge Owner for Job-Shop Scheduling One of the world's foremost experts on this problem, with deep experience across both academia and industry. He co-authored the definitive 30-year review of the Job Shop Scheduling Problem, co-founded Planimize which deploys scheduling optimization into semiconductor fabs, and is an Associate Professor at BI Norwegian Business School. We could not have found a more qualified person to own this challenge. Incredibly excited to have him on board!

Fully automated AI framework that solved an open problem in commutative algebra and verified the proof in approximately 19,000 lines of Lean 4 code. This is an end-to-end pipeline where AI agents autonomously discovered and formally verified a solution to a previously unsolved research problem.



@DreadBong0 @QuoteJenks2 Yes thats correct



Anyone in the lead suddenly will pivot to being Decel for regulatory capture and pull the ladder up behind them. We can't let the leaders in the AI race convince the world that calcifying the current leaderboard is in the benefit of all.

Anthropic built Mythos, decided you can't have it. 40 companies can. This is what managed stagnation looks like.


Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software. It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans. anthropic.com/glasswing

Andrej, I’m John Fletcher. I have a PhD in mathematics and theoretical physics from Cambridge, and since 2016 I have been working full-time on the problem of how to coordinate untrusted distributed compute for algorithmic innovation. I listened to your No Priors conversation

To speed up fulfillment across 17,700 warehouse picking locations, FM Logistic used AlphaEvolve and Gemini to let AI autonomously rewrite its routing code. The real-world impact: 📉 10.4% boost in routing efficiency 🛑 15,000+ fewer kilometers driven per year ⚡ Faster fulfillment without expanding the fleet Learn more ↓ goo.gle/41UBJAE

Andrej, I’m John Fletcher. I have a PhD in mathematics and theoretical physics from Cambridge, and since 2016 I have been working full-time on the problem of how to coordinate untrusted distributed compute for algorithmic innovation. I listened to your No Priors conversation




