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






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

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






