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…
"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…
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. Good Sunday 52.8K posts
- 2. Discussing Web3 N/A
- 3. #sundayvibes 4,639 posts
- 4. #HealingFromMozambique 19.6K posts
- 5. Wordle 1,576 X N/A
- 6. Miary Zo N/A
- 7. Blessed Sunday 17.3K posts
- 8. Trump's FBI 11.7K posts
- 9. Biden FBI 18.2K posts
- 10. Coco 47.9K posts
- 11. KenPom N/A
- 12. #ChicagoMarathon N/A
- 13. Macrohard 9,613 posts
- 14. Gilligan 7,096 posts
- 15. The CDC 32.5K posts
- 16. Dissidia 7,649 posts
- 17. God is Good 47.1K posts
- 18. Go Broncos 1,296 posts
- 19. Nor'easter 1,725 posts
- 20. Pegula 5,718 posts
Something went wrong.
Something went wrong.