The only viable future for AI is non-autoregressive. It's upon this founding principle that we built Logical Intelligence — a company dedicated to making mission-critical software secure through AI formal verification. We’re launching two AI agents + a new foundation model to…
So excited to see productive collab between friends! arxiv.org/abs/2511.21626 The first part of this work was published earlier this year x.com/logic_int/stat… Although Logical Intelligence is dedicated to non-autoregressive non-LLM based models, we still study fundamentals of…
We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: gist.github.com/winger/a2c27e4… x.com/vladtenev/stat…
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here. Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences…
Huge congratulations, @ylecun! We’re proud to be building the future of AI together and inspired every day by your leadership and vision. x.com/royalfamily/st…
Today, The King presented The Queen Elizabeth Prize for Engineering at St James's Palace, celebrating the innovations which are transforming our world. 🧠 This year’s prize honours seven pioneers whose work has shaped modern artificial intelligence. 🔗 Find out more:…
Thrilled to hear about the "Harmonic Analysis with Lean Formalization" (HALF) project: 6 years of research-level formalization in #LeanLang, led by Dr. Christoph Thiele and Dr. Floris van Doorn at University of Bonn with a €6.4M ERC Synergy Grant. Dr. van Doorn: "As the first…
New use case: AWS's Cedar authorization policy language verified with Lean. Emina Torlak and Kesha Hietala use "verification-guided development": creating formal models in Lean alongside production Rust code. The Lean models are 10x smaller, serving as both verification targets…
"We live in the arguably the most exciting era of mathematics in human history since the time of Euclid." Yang-Hui He's talk "The rise of the machines" for the Royal Institute, traces three ways #AI is reshaping #mathematics: bottom-up verification through systems like…
youtube.com
YouTube
Mathematics: The rise of the machines - Yang-Hui He
Great @SimonsFdn talk by Kevin Buzzard on math's future; he notes mathematical ideas have grown so complex that traditional writing methods struggle to cope. He demonstrates how combining LLMs with proof assistants like Lean could eliminate hallucinations—the LLM proposes ideas…
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding. Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
"Put in plainest terms, Bodnia and her team of prize-winning mathematicians — the staff of 16 include a Fields Medal winner and programming world champion — see your concerns about AI accuracy; their response: we’re going to have to math the shit out of this."…
Thrilled to receive a grant from the @ethereumfndn to formally verify zero knowledge protocols through contributing some proofs to ArkLib github.com/Verified-zkEVM…, including formalization of the core theorems from Ligero paper.
Had a blast talking about Gauss & the Prime Number Theorem today at Harvard! Though was a bit intimidating to even be alongside a Fields medallist & a Turing award winner
Beautiful talk by Michael Freedman on the Poincare conjecture and mathematical discovery! @HarvardCMSA @logic_int cmsa.fas.harvard.edu/event/clay_917…
Congrats @logic_int on the launch of Aleph and Noa! We're thrilled to be a trusted compute partner for you and the team.
United States 트렌드
- 1. #ForTT_Telegram_sam11adel N/A
- 2. Broncos 47.5K posts
- 3. Mariota 13.2K posts
- 4. Happy New Month 214K posts
- 5. Commanders 33.3K posts
- 6. Bo Nix 10.1K posts
- 7. #BaddiesUSA 26.8K posts
- 8. #RaiseHail 5,776 posts
- 9. Riley Moss 2,290 posts
- 10. Washington 120K posts
- 11. #ITWelcomeToDerry 19.9K posts
- 12. Burks 15.7K posts
- 13. Ertz 3,117 posts
- 14. Bonitto 5,756 posts
- 15. Deebo 3,132 posts
- 16. #RHOP 12.7K posts
- 17. Chrisean 9,957 posts
- 18. Dan Quinn N/A
- 19. Sean Payton 1,666 posts
- 20. Dolly 14.7K posts
Something went wrong.
Something went wrong.