İTÜ-chem quantum chemisty +ai for science
Joined December 2018
- Tweets278
- Following531
- Followers303
- Likes284
Dücane Cündioğlu’nun yapay zekaya matematiksel bakışını çok merak ediyorum, acaba Antik Yunan’daki hangi fikre dayandıracak?
Konu çok ciddi ve gündem ama bir o kadar da insalık gelişiminde olabilecek bir şey , bu çağa da alışacağız ve alıştığımız bilgi ve beyin gücü oranını yenisiyle değiştireceğiz, artı ya da eksi etki etmesi ise bizim elimizde, ai for science!
Now @AnthropicAI Claude can do aldol synthesis , just lets go for organic chemistry 🧪
"When the angels play for God, they play Bach. But when they play for themselves, they play Mozart."
-Karl Barth
Hot take:
Bach is overrated. This does not mean he isn’t a brilliant composer, but I think with the amount of people who have him as the greatest composer of all time, that I have no choice but to consider him overrated.
He is not in my personal top 5 of composers, he’s definitely in my top 10 though.
CS tayfa açıklayabilir mi önemini?
The computer science collaboration will understand and explain a result concerning the Exponential Time Hypothesis (ETH), a longstanding conjecture about the computational complexity of Boolean formula satisfiability, a problem deeply related to the P vs. NP problem.
Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.
The refutation of the ETH reopens questions about how much faster these tasks could become, and may help guide the search for better algorithms. Finding such algorithms, and turning theoretical advances into practical improvements, will require significant further research.
Our system found its natural language disproof for the ETH we reached out to to @rrwilliams. Ryan will form a collaboration with Russell Impagliazzo and Ramamohan Paturi to verify and shepherd this result. Impagliazzo and Paturi, along with Francis Zane, are the original proposers of the Exponential Time Hypothesis, and Williams has refuted strong versions of the ETH, used ETH for hardness results, and connected algorithms and lower bounds.
This group asked us to make all raw data of the results public to facilitate independent verification by the community, which we have done by posting the natural language proof and Lean formalization to our GitHub repo. The group also invites the community to help organize an open examination of the ETH claim and to discuss the broader questions that AI-generated breakthroughs raise about verification, access, credit, and the future of research.
github.com/openai/math/blob/…
Matematik çalışmak güzel ama bir şeyleri romantize ediyorken güncel gelişmeleri kaçırmamak gerek, birileri sizin hayatınızı değiştirecek şeyler inşa ediyor
Yapay zeka ile drug design ve protein bağlanmaları için güncel en önemli makalelerden biri, veri detayları ve veriyi kullanış biçimleri dahice
Ben proteinlerle ilgili soru sorduğumda riskli olarak kabul edip cevap vermiyorsunuz ama ‘iç modelle’ bi gecede yüzlerce matematik problemini çözmek sorun olmuyor?
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
Evet yapay zeka tahmin edemedi ama asymmetric organic synthesis , ya da organik sentez bir Nobel daha aldı, ne kadar önemli bir alan olduğunu görüyoruz
BREAKING NEWS
The Royal Swedish Academy of Sciences has decided to award the 2026 #NobelPrize in Chemistry to Henri B. Kagan and Kenso Soai “for the discovery of non-linear effects and autocatalysis in asymmetric organic synthesis.”
