𓁟 host1.bitchan.one

𓀐 @z5nL86Z8: Survey results edition Previous Thread: >>17041870 This thread exists to ask questions regarding careers associated to STEM. >Discussion on academia-based career progression >Discussion on penetrating industry from academia >Or anything in relation to STEM employment or development within STEM academia! >If you have a question, before posting, read some of the older posts and ,if you can, try to answer their questions on your post. That way the thread isn't an endless log of unanswered question…

>>17074308 All of what you said will be done by AI. Hell, a lean verified proof doesn't even need to be verified any further.

⧖expiring ~15d0/2 kept2w ago

𓀐 @E=nWb?p5

⏱ 2w 👍 0

⬆ upvote 0

[⇥] sort oldest ⏱

⬆[⏱]₿⚠

👍👎✔

𓀐↩⛓⚠

[⇥] flip, oldest first

filter [-]
𓀐 @BVr_8*wT: >>17074332 Why is lean cited as le benchmark for math proofs? Isn't it just a piece of software that can have bugs in? t. clueless+

⬆ upvote 0↩ reply 0