▲ 274 ▼ GrapheneOS defends use of AI for coding (grapheneos.social) submitted 2 days ago by General_Effort@lemmy.world to c/technology@lemmy.world 350 comments fedilink hide all child comments GrapheneOS is currently defending its use of AI coding tools on Mastodon against complaints by various accounts claiming to be users. We do not understand where you're coming from or why you're so incredibly angry with us. It's not justified and does not make sense.
[–] hirihit640@sh.itjust.works 9 points 1 day ago* modern AI can be used to generate formal lean proofs: https://www.scientificamerican.com/article/what-happens-when-ai-starts-checking-mathematicians-work/ https://lemmy.world/post/50205770 permalink fedilink source parent