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.







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.


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

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





