AI is already a co-pilot for math and theorem proving. We have proven 39 proofs in ProofNet that did not have human-written proofs in Lean. We continue to add AI-written proofs to ProofNet https://
github.com/zhangir-azerba
yev/ProofNet/pull/14
… @KaiyuYang4
AI
-
AI Proves 39 New Mathematical Theorems in Lean Proof System
By
–
-
Carl Pei’s Nothing raises $96M for smartphone launch
By
–
Nothing, Carl Pei's hardware startup, has raised $96 million of funding from investors to launch its new smartphone and expand in the US. Story with some previously unreported comments from an interview I did with @getpeid in Barcelona back in March:
-
AI search tool adds creative writing feature
By
–
Thanks! We recently added support you to use it for creative writing, as a focused search. Check out the drop down menu in the search bar and pick "writing".
-
Large Action Models: Leveraging LLMs for Actionable Decision Making
By
–
Very interesting read about “Large Action Models” – LAM! Leveraging #LLM for actionable decision making is a great business case! This is beyond content generation!
-
Snowflake Summit 2026: Alteryx Analytics Solutions Showcase
By
–
Exciting day one at @SnowflakeDB Summit with Alteryx! Brand New Product News Packed CUNA Mutual session Happy Hour with @awscloud There's more today! Stop by booth 2620 to say hi! #SnowflakeSummit #AnalyticsForAll
-
Samsung Unveils Foldable Display Innovations at 2023 SID
By
–
El SID Display Week de 2023 nos trae lo último en pantallas de consumo y todas las marcas nos presentan las evoluciones que tienen preparadas.
— Juan Merodio (@juanmerodio) 28 juin 2023
Samsung no iba a ser menos y ha presentado una actualización de sus pantallas plegables para smartphones y una gran pantalla… pic.twitter.com/XqASkrKA7zEl SID Display Week de 2023 nos trae lo último en pantallas de consumo y todas las marcas nos presentan las evoluciones que tienen preparadas. Samsung no iba a ser menos y ha presentado una actualización de sus pantallas plegables para smartphones y una gran pantalla
-
Path Selection Matters More Than Goals in Decision Making
By
–
The path you choose to take toward achieving your goals is as important as your goals. In the decision making process of achieving your goals, a significant importance should be given to the path selection and your experiences along the path. Design and create your path
-
Board halts deal if preliminary injunction granted
By
–
'My board’s view is if the preliminary injunction is granted, they don’t see how the deal can continue.'
-
Podcast Discussion on LLMs: Open Source, Legal, and Existential AI Risks
By
–
I’m usually not a listener of hours-long podcasts, but this one with @pmarca presents a great discussion on the future of LLMs and open-source, legal, commercial, ethical, existential “risks”, and geopolitical issues surrounding AI.